How to Define Functionals of Free Structures in Typed Lambda Calculus.

Published in: MFCS (1989)

Keyphrases

lambda calculus
programming language
higher order
predicate calculus
program understanding
database query languages
database
artificial intelligence
relational databases
data model
natural language
expert systems
database applications
reverse engineering