Topological representation of the lambda-calculus.

Steven Awodey
Published in: Math. Struct. Comput. Sci. (2000)