The Sigma Calculus is a formal model of computation with untyped objects devised by MartinAbadi? and LucaCardelli.
Sigma Calculus
Sigma Calculus EditText of this page
(last edited March 1, 2005)
or FindPage with title or text search