47引文
无反射外延等式的立方语法
2019
具有显式宇宙多态性的类型理论
2022
使用无点方程的内部严格命题
2021
前法西斯理论中的俄罗斯建构主义
2020
$\infty$型理论的规范化和一致性
2022
22参考文献
立方型理论:单价公理的构造性解释
2015
论关联类型理论与集合理论
1998