Linearity and recursion in a typed Lambda-calculus.

Sandra Alves Maribel Fernández Mário Florido Ian Mackie

Published in: PPDP (2011)

Keyphrases

lambda calculus
complex objects
programming language
predicate calculus
database query languages
deductive databases
program understanding
artificial intelligence
transitive closure
expert systems
object oriented
higher order
query language