文献
J-GLOBAL ID:201802276608346519
整理番号:18A0266347
ベクトルλ計算【Powered by NICT】
The vectorial λ-calculus
著者 (3件):
Arrighi Pablo
(Aix-Marseille Universite, CNRS, LIF, Marseille and IXXI, Lyon, France)
,
Diaz-Caro Alejandro
(Universidad Nacional de Quilmes & CONICET, B1876BXD Bernal, Buenos Aires, Argentina)
,
Valiron Benoit
(LRI, CentraleSupelec, Univ. Paris Sud, CNRS, Universite Paris-Saclay, 91405 Orsay Cedex, France)
資料名:
Information and Computation
(Information and Computation)
巻:
254
号:
P1
ページ:
105-139
発行年:
2017年
JST資料番号:
D0449A
ISSN:
0890-5401
CODEN:
INFCEC
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)