Login / Signup
Topological representation of the lambda-calculus.
Steven Awodey
Published in:
Math. Struct. Comput. Sci. (2000)
Keyphrases
</>
lambda calculus
predicate calculus
database
programming language
program understanding