Sigma Calculus

view on wiki.c2.com

last modified: March 1, 2005

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

I am open-source

Loading...