Cartesian closed Categories and Lambda- calculus.

Gérard P. Huet

Published in: Combinators and Functional Programming Languages (1985)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
complex objects
database query languages
expert systems
query language
semantic network
program understanding