Representing Logics in Type Theory

Authors

  • Philippa Gardner

Venue

Ph.D. Thesis, University of Edinburgh, UK, 1992

Publication Date

Jan 1992

Source Materials