The Small Grzegorczyk Classes and the Typed lambda-Calculus.

Lars Kristiansen Mathias Barra

Published in: CiE (2005)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
higher order
program understanding
artificial intelligence
data structure
relational databases
data sources
semantic network