文献
J-GLOBAL ID:201802256901532613
整理番号:18A0936902
教会のタイプ理論への引用と評価の組込み【JST・京大機械翻訳】
Incorporating quotation and evaluation into Church’s type theory
著者 (1件):
Farmer William M.
(Master University, 1280 Main Street West, Hamilton, Ontario L8S 4l8, Canada)
資料名:
Information and Computation
(Information and Computation)
巻:
260
ページ:
9-50
発行年:
2018年
JST資料番号:
D0449A
ISSN:
0890-5401
CODEN:
INFCEC
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)