Propositions as [Types] (2001)

by Steve Awodey , Andrej Bauer
Citations:22 - 0 self