文献
J-GLOBAL ID:200902131041450192
整理番号:95A0659117
アナロジー的型理論
Analogical Type Theory.
著者 (2件):
YI B
(Nanjing Univ., Nanjing, CHL)
,
XU J
(Nanjing Univ., Nanjing, CHL)
資料名:
Journal of Symbolic Computation
(Journal of Symbolic Computation)
巻:
19
号:
1/3
ページ:
3-24
発行年:
1995年01月
JST資料番号:
D0359D
ISSN:
0747-7171
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)