Summary: 



Propositions as [Types]



Steve Awodey* Andrej Bauery


Institut Mittag-Leffler

The Royal Swedish Academy of Sciences



June 2001

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

Collections: Mathematics