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
Professor of Theoretical
Computer Science
Mathematical Structures in Computer Science, vol. 5(3), pp. 323–349
1995