Representing Logics in Type Theory

Authors

  • Philippa Gardner

Venue

Ph.D. Thesis, University of Edinburgh, UK

Publication Date

Jan 1992

Source Materials