Steven Awodey Topological representation of the lambda-calculus. 81-96 2000 10 Mathematical Structures in Computer Science 1 db/journals/mscs/mscs10.html#Awodey00