SAKAI Masahiro - Object Calculus Diff

  • Added parts are displayed like this.
  • Deleted parts are displayed like this.

= Object Calculus

== メモ

* ((<Formalizing the Object Calculus in the Set Theory.|URL:http://www.dee.ufma.br/~ehmety/object-calculus.html>))
* ((<An Imperative Object Calculus|URL:http://research.microsoft.com/Users/luca/Slides/FASESlides.pdf>))
* ((<An Object Calculus with Algebraic Rewriting|URL:http://guinness.cs.stevens-tech.edu/~abc/Teaching/CS765A/plilp37.ps>))