[TYPES] Object-oriented calculi

[Daniel Yokomizo]

Hi,

    I'm currently defining a minimalist object-oriented calculus and
wanted to know if there were other research on this area, besides
Cardelli's and Nordhagen's work. I know some work on formalizations of
object systems but found few pointers in calculi. In particular I was
looking for work calculi that aren't extensions to other calculi (e.g.
lambda, pi) to express OO constructs, but calculi that are
fundamentally distinct and foundational (in the  sense that the
calculus defines only the strictly necessary and things like effects,
type systems are defined as extensions).
    Any information will be much appreciated.

Best regards,
Daniel Yokomizo.