Propositions as [Types] (2001)

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