Inductive Types and Type Constraints in the Second-Order lambda Calculus.

Published in: Ann. Pure Appl. Log. (1991)

Keyphrases

lambda calculus
database query languages
higher order
machine learning
programming language
predicate calculus
inductive inference
type checking
database
databases
artificial intelligence
expert systems
constraint programming