Login / Signup

On the Complexity of Higher-Order Matching in the Linear lambda-Calculus.

Sylvain SalvatiPhilippe de Groote
Published in: RTA (2003)
Keyphrases
  • lambda calculus
  • higher order
  • programming language
  • predicate calculus
  • database query languages
  • program understanding
  • knowledge base
  • complex objects
  • database
  • relational databases
  • data management