Propositions as [Types] (2001)

by Steve Awodey , Andrej Bauer
Citations:38 - 3 self