Propositions as [types (0)

by S Awodey, A Bauer
Venue:Journal of Logic and Computation