Agda による定式化された型推論器の拡張と改良
Agda による定式化された型推論器の拡張と改良
复制标题
Agda 形式化类型推断器的扩展和改进
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
浅井 健一
中科院分区：
文献类型：
--
作者：
門脇 香子;浅井 健一
登录
查看更多内容
三次类型理论的内部参数化
DOI：
--
发表时间：
2020
期刊：
Annual Conference for Computer Science Logic
影响因子：
--
作者：
Evan Cavallo;R. Harper
通讯作者：
R. Harper
具有相关排序的一阶逻辑及其在范畴论中的应用
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
M. Makkai
通讯作者：
M. Makkai
DOI：
--
发表时间：
2017
期刊：
Types for Proofs and Programs
影响因子：
--
作者：
A. Booij;M. Escardó;P. Lumsdaine;Michael Shulman
通讯作者：
Michael Shulman
笛卡尔三次计算类型理论：路径和等式的构造性推理
DOI：
--
发表时间：
2018
期刊：
Computer Science Logic 2018
影响因子：
--
作者：
Angiuli, Carlo;Hou, Kuen-Bang;Harper, Robert
通讯作者：
Harper, Robert
影响因子：
1.8
作者：
Vezzosi, Andrea;Mortberg, Anders;Abel, Andreas
通讯作者：
Abel, Andreas