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