Functional Characterization of Some Semantic Equalities inside Lambda-Calculus.

Mario Coppo Mariangiola Dezani-Ciancaglini Patrick Sallé

Published in: ICALP (1979)

Keyphrases

lambda calculus
predicate calculus
programming language
semantic network
natural language
higher order
high level
relational model
database query languages
data warehouse
general purpose
complex objects
relational algebra