メモ
"Calculi for Interaction" Robin Milner , April 1995
http://citeseer.ist.psu.edu/milner96calculi.html
今日寒すぎ。
家に着いたとき、鼻が赤くなってた。
"Calculi for Interaction" Robin Milner , April 1995
http://citeseer.ist.psu.edu/milner96calculi.html
今日寒すぎ。
家に着いたとき、鼻が赤くなってた。