A Non-Deterministic Call-by-Need Lambda Calculus.

Arne Kutzner Manfred Schmidt-Schauß

Published in: ICFP (1998)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
higher order
complex objects
knowledge base