1.

図書
図書
1. 型システム入門 : プログラミング言語と型の理論
Benjamin C. Pierce著 ; 遠藤侑介 [ほか] 共訳
出版情報: 東京 : オーム社, 2013.3
所蔵情報: 図書館
2.

図書
図書
2. Types and programming languages (: hc)
Benjamin C. Pierce
出版情報: Cambridge, Mass. : MIT Press, c2002
所蔵情報: 図書館
3.

図書
図書
3. Theoretical aspects of computer software : 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 ; proceedings
Naoki Kobayashi, Benjamin C. Pierce (eds.)
出版情報: Berlin ; Tokyo : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2215 . lecture notes in artificial intelligence
所蔵情報: 図書館
4.

図書
図書
4. Basic category theory for computer scientists
Benjamin C. Pierce
出版情報: Cambridge, Mass. : MIT Press, c1991
シリーズ名: Foundations of computing
所蔵情報: 研究室