Topological representation of the λ-calculus (0)

by S Awodey