■
http://lambda-the-ultimate.org/node/2265
で紹介されていた
Synthetic Computability
http://math.andrej.com/wp-content/uploads/2007/05/syncomp-mfps23.pdf
面白そう。とりあえずメモ。
あと、Concepts, Techniques, and Models of Computer Programming
もメモ。zzz
http://lambda-the-ultimate.org/node/2265
で紹介されていた
Synthetic Computability
http://math.andrej.com/wp-content/uploads/2007/05/syncomp-mfps23.pdf
面白そう。とりあえずメモ。
あと、Concepts, Techniques, and Models of Computer Programming
もメモ。zzz