Topological representation of the -calculus (1999)

by S Awodey
Venue:Mathematical Structures in Computer Science 10