プログラム理論 4/13
少ししかメモとっていない。教科書は昨年のゼミで使ったものなので、前半だけなら余裕かも!?
Textbook SEMANTICS WITH APPLICATIONS: A Formal Introduction Hanne Riis Nielson, Flemming Nielson http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html Semantics of Program
-
-
-
-
-
-
-
- -
-
-
-
-
-
-
少ししかメモとっていない。教科書は昨年のゼミで使ったものなので、前半だけなら余裕かも!?
Textbook SEMANTICS WITH APPLICATIONS: A Formal Introduction Hanne Riis Nielson, Flemming Nielson http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html Semantics of Program