A Consistent Extension of the Lambda-Calculus as a Base for Functional Programming Languages

Klaus J. Berkling Elfriede Fehr

Published in: Inf. Control. (1982)

Keyphrases

lambda calculus
programming language
predicate calculus
functional language
general purpose
database query languages
object oriented
higher order
program understanding
complex objects
high level
query processing
open source
logic programming