文献
J-GLOBAL ID:200902150962130490
整理番号:95A0510341
λ算法における並列縮約
Parallel Reductions in λ-Calculus.
著者 (1件):
TAKAHASHI M
(Tokyo Inst. Technol., Tokyo, JPN)
資料名:
Information and Computation
(Information and Computation)
巻:
118
号:
1
ページ:
120-127
発行年:
1995年04月
JST資料番号:
D0449A
ISSN:
0890-5401
CODEN:
INFCEC
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)