Unification in an Extensional Lambda Calculus with Ordered Function Sorts and Constant Overloading.

Patricia Johann Michael Kohlhase

Published in: CADE (1994)

Keyphrases

lambda calculus
higher order
programming language
relational databases
predicate calculus
knowledge base
pairwise
object oriented
software engineering
theorem proving