文献
J-GLOBAL ID:202102227765508004
整理番号:21A2678118
インデックス型理論【JST・京大機械翻訳】
Indexed type theories
著者 (1件):
Isaev Valery
(JetBrains Research and National Research University Higher School of Economics, St. Petersburg, Russia)
資料名:
Mathematical Structures in Computer Science
(Mathematical Structures in Computer Science)
巻:
31
号:
1
ページ:
3-63
発行年:
2020年
JST資料番号:
W2200A
ISSN:
0960-1295
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
イギリス (GBR)
言語:
英語 (EN)