The Sigma Calculus is a formal model of computation with untyped objects devised by MartinAbadi and LucaCardelli.