Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Hank Barendregt, Tobias Nipkow, eds. (Lecture notes in computer science)
Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Hank Barendregt, Tobias Nipkow, eds.
(Lecture notes in computer science)
国立国会図書館請求記号
M15-A9226
国立国会図書館書誌ID
000003227177
資料種別
図書
著者
International Workshop TYPES '93 (1993 : Nijmegen, Netherlands)ほか