Higher-Order Matching in the Linear lambda-calculus with Pairing.

Philippe de Groote Sylvain Salvati

Published in: CSL (2004)

Keyphrases

lambda calculus
higher order
programming language
predicate calculus
database query languages
incomplete information
program understanding
natural language
pairwise
semantic network