Untyped lambda-Calculus with Relative Typing.

M. Randall Holmes

Published in: TLCA (1995)

Keyphrases

lambda calculus
programming language
predicate calculus
databases
program understanding
data structure
higher order
database query languages
artificial intelligence
co occurrence
first order logic
complex objects