「Robin Milner」の検索結果
| Communicating and Mobile Systems: The Pi Calculus | tanaka prime_no_132nd minkewhale agusaLab |
| The Definition of Standard ML | p-his |
| Communicating and Mobile Systems: The Pi Calculus | kuwa |
| The Space and Motion of Communicating Agents | kuwa |
| The Definition of Standard ML, Revised Edition | kunishi |
| Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing) | fujilab |