SigmaCalculus
Last edit March 1, 2005
The Sigma Calculus is a formal model of computation with untyped objects devised by
MartinAbadi
and
LucaCardelli
.