Coppo-Dezani Types do not Correspond to Propositional Logic

@article{Hindley1984CoppoDezaniTD,
  title={Coppo-Dezani Types do not Correspond to Propositional Logic},
  author={J. Roger Hindley},
  journal={Theor. Comput. Sci.},
  year={1984},
  volume={28},
  pages={235-236}
}