Login / Signup
Strict intersection types for the Lambda Calculus.
Steffen van Bakel
Published in:
ACM Comput. Surv. (2011)
Keyphrases
</>
lambda calculus
knowledge base
relational databases
higher order
programming language