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>))
== メモ
* ((<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>))