文献
J-GLOBAL ID:200902176895586261
整理番号:94A0054679
接続法と線形論理を持つプログラム
Programs with continuations and linear logic.
著者 (1件):
NISHIZAKI S
(Kyoto Univ., Kyoto, JPN)
資料名:
Science of Computer Programming
(Science of Computer Programming)
巻:
21
号:
2
ページ:
165-190
発行年:
1993年10月
JST資料番号:
H0806A
ISSN:
0167-6423
CODEN:
SCPGD4
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)