Equivalences between Logics and Their Representing Type Theories Venue Mathematical Structures in Computer Science, vol. 5(3), pp. 323–349 Publication Year 1995 Identifiers DOI: doi:10.1017/S0960129500000785 Authors Philippa Gardner Source Materials Authors' Preprint/Accepted Version Published Edition BibTeX Citation