Philippa Gardner

Equivalences between Logics and Their Representing Type Theories

Authors

• Philippa Gardner

Venue

Mathematical Structures in Computer Science 1995

Publication Date

Sep 1995

Identifiers

• DOI: doi:10.1017/S0960129500000785

Source Materials

• Authors' Preprint/Accepted Version
• Published Edition
• BibTeX Citation