The Set of Unifiers in Typed Lambda-Calculus as Regular Expression.

Published in: RTA (1985)

Keyphrases

lambda calculus
regular expressions
predicate calculus
higher order
pattern matching
database
data mining
knowledge base
programming language
user defined