Equivalences between Logics and Their Representing Type Theories Venue Mathematical Structures in Computer Science 1995 Publication date Sep 1995 Identifiers DOI: doi:10.1017/S0960129500000785 Authors Philippa Gardner Source Materials Authors' Preprint/Accepted Version Published Edition BibTeX Citation