Philippa Gardner

Representing Logics in Type Theory

Authors

• Philippa Gardner

Venue

University of Edinburgh, UK

Publication Date

Jan 1992

Source Materials

• Authors' Preprint/Accepted Version
• BibTeX Citation