http://www.research.digital.com/SRC/personal/Luca_Cardelli/TheoryOfObjects/Contents.html
which describes a theory of object calculi. Fascinating stuff.
:) Adam