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