Recursion in the call-by-value lambda-calculus.

Gérard Boudol Pascal Zimmer

Published in: FICS (2002)

Keyphrases

lambda calculus
complex objects
programming language
database query languages
predicate calculus
deductive databases
higher order
transitive closure
program understanding
databases
expressive power
expert systems
distance function
datalog programs