Philippa Gardner
Professor of Theoretical
Computer Science
Homepage
Publications
Authors
Venue
Publication Date
Source Materials
Representing Logics in Type Theory
Authors
Philippa Gardner
Venue
Ph.D. Thesis, University of Edinburgh, UK
Publication Date
Jan 1992
Source Materials
Authors' Preprint/Accepted Version
BibTeX Citation
© VTSS @ Imperial College London. All rights reserved.
Design:
HTML5 UP
Privacy Notice
Accessibility