Equivalences between Logics and Their Representing Type Theories

Authors

  • Philippa Gardner

Venue

Mathematical Structures in Computer Science, vol. 5(3), pp. 323–349

Publication Date

1995

Identifiers

Source Materials