Back to Papers

A Theory of Objects

Authors

Martín Abadi, Luca Cardelli

Year

1996

Abstract

A foundation for object-oriented programming based on typed lambda calculus.

BibTeX

            @book{abadi1996theory, title={A Theory of Objects}, author={Abadi, Martín and Cardelli, Luca}, year={1996}, publisher={Springer}}

Notations Used in This Paper

for Lambda Abstraction

A function definition in lambda calculus

Typst: $lambda x. e$
LaTeX: \lambda x. e

Context: Extended with object-oriented features

Referenced on page 23