Equivalences between Logics and their Representing Type Theories (1992)

Cached

Download Links

by Philippa Gardner
Citations:5 - 0 self