Representing Logics in Type Theory Venue Ph.D. Thesis, University of Edinburgh, UK, 1992 Publication date Jan 1992 Authors Philippa Gardner Source Materials Authors' Preprint/Accepted Version BibTeX Citation