Final Semantics for untyped lambda-calculus.

Furio Honsell Marina Lenisa

Published in: TLCA (1995)

Keyphrases

semantic network
predicate calculus
lambda calculus
knowledge base
database query languages
high level
co occurrence
programming language
logic programming
artificial intelligence
database systems
object oriented
incomplete information