Algebraic, Operational and Denotational Semantics of the Lambda Calculus.

Clement A. Baker-Finch

Published in: Aust. Comput. J. (1984)

Keyphrases

lambda calculus
denotational semantics
programming language
general purpose
object oriented
high level
software engineering
abstract data types
higher order
predicate calculus
complex objects
program understanding