Unification of Higher-Order patterns in a Simply Typed Lambda-Calculus with Finite Products and terminal Type.

Roland Fettig Bernd Löchner

Published in: RTA (1996)

Keyphrases

lambda calculus
higher order
database query languages
programming language
type checking
predicate calculus
equational theories
complex objects
program understanding
query language
expressive power
software engineering
general purpose
relational model
theorem proving