Recursive Types and Type Constraints in Second-Order Lambda Calculus

Published in: LICS (1987)

Keyphrases

lambda calculus
higher order
database query languages
programming language
artificial intelligence
open source
database systems
data model
constraint programming
predicate calculus