close
1.

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

図書
図書
2. プログラム意味論の基礎
小林直樹, 住井英二郎共著
出版情報: 東京 : サイエンス社, 2020.8
シリーズ名: ライブラリ情報学コア・テキスト ; 11
所蔵情報: loading…