Representing logics in type theory

Authors

  • Philippa Gardner

Venue

University of Edinburgh, UK

Publication Date

Jan 1992

Source Materials