Propositions as [Types (2001)

by S Awodey, A Bauer
Venue:Institut Mittag-Leffier, The Royal Swedish Academy of Sciences