We would like to announce a web page collecting our recent papers on a theory of objects.
Object calculi are formalisms at the same level of abstraction as lambda calculi, but based exclusively on objects rather than functions. Unlike lambda calculi, object calculi are designed specifically for clarifying features of object-oriented languages. There is a wide spectrum of relevant object calculi, just as there is a wide spectrum of lambda calculi. We investigate untyped, simply-typed, and polymorphic calculi, with both functional and imperative semantics.