An Extension of Lambda-Calculus for Functional Programming.

György E. Révész

Published in: J. Log. Program. (1984)

Keyphrases

functional programming
lambda calculus
programming language
functional language
general purpose
execution model
object oriented programming
object oriented
predicate calculus
high level
artificial intelligence
logic programming
complex objects
software engineering
higher order
response time