Topological Representation of the &ambda;-Calculus (1998)

by S. Awodey