Showing
1 - 2
results of
2
Skip to content
Home
書包:
0
items
(滿)
語言
English
日本語
中文(简体)
中文(繁體)
اللغة العربية
About
全文檢索
題名
期刊標題
作者
主題
檢索
高級檢索
作者
Egbert Rijke
檢索結果 - Egbert Rijke
Showing
1 - 2
results of
2
Refine Results
排序
相關性排序
日期遞增
日期遞增
索書號排序
作者排序
標題
1
Modalities in homotopy type theory
由
Egbert Rijke
,
Michael Shulman
,
Bas Spitters
發表在
Logical Methods in Computer Science
(2020-01-01)
獲取全文
Article
添加到書包
從書包裡刪除
Standalone Record
2
Algebraic Presentations of Type Dependency
由
Benedikt Ahrens
,
Jacopo Emmenegger
,
Paige Randall North
,
Egbert Rijke
發表在
Logical Methods in Computer Science
(2025-02-01)
獲取全文
Article
添加到書包
從書包裡刪除
Standalone Record
檢索工具:
得到RSS訂閱