Login / Signup

Pattern Unification for the Lambda Calculus with Linear and Affine Types

Anders Schack-NielsenCarsten Schürmann
Published in: LFMTP (2010)
Keyphrases
  • lambda calculus
  • higher order
  • programming language
  • databases
  • predicate calculus
  • open source
  • integrity constraints
  • theorem proving
  • database query languages