学术搜索
科研智能体
Research Labs
AI 阅读
AI 文库
深度研究
学者亮点
学术资源
AI2000
期刊/会议
学者库
学术API
MCP&Skill
溯源树
数据集
知识沉淀
学术空间
订阅小程序
旧版功能
开通会员
低至0.73元/天
一次搞定AI科研
立即登录
English
联系方式
Types for Proofs and Programs
Conference
年发文量
研究主题
论文（392）
排序
时间
引用
1
Choice Principles and Hypercompletion in HoTT.
Owen Milner
2025
引用
AI阅读
加入学术空间
2
Mendler Dialgebras and Recursion Schemes of Mixed Variance.
Stephan Alexander Spahn
2025
引用
AI阅读
加入学术空间
3
Functional Representability in Local Set Theories.
Enrique Ruiz Hernández
,
Pedro Solórzano
2025
引用
AI阅读
加入学术空间
4
Kleisli Categories with Display Maps.
Moana Jubert
2025
引用
AI阅读
加入学术空间
5
Formalisation and Extension of Lagois Connections for Secure Information Flow.
Casper Ståhl
,
Léon Gondelman
,
René Rydhof Hansen
,
Danny Bøgsted Poulsen
2025
引用
AI阅读
加入学术空间
立即登录
，查看全部 392 篇论文
高被引作者
作者
引用
发文
Thierry Coquand
488
12
Simon Huber
337
2
Conor Mcbride
293
6
Marc Bezem
267
5
Tobias Nipkow
260
4
Maribel Fernandez
236
2
Murdoch J. Gabbay
228
1
Hongwei Xi
221
3
Herman Geuvers
210
10
Benjamin Werner
202
4
高产作者
作者
引用
发文
Thierry Coquand
488
12
Zhaohui Luo
104
11
Herman Geuvers
210
10
Ralph Matthes
64
10
Thorsten Altenkirch
128
8
Conor Mcbride
293
6
Furio Honsell
80
6
Andreas Abel
72
6
Jose Espirito Santo
35
6
Sergei Soloviev
61
5
相关期刊
Mathematical Structures in Computer Science
Conference on Algebra and Coalgebra in Computer Science
Annual Conference for Computer Science Logic
Developments in Computational Models
Formal Structures for Computation and Deduction
ACM/IEEE Symposium on Logic in Computer Science
Mathematical Foundations of Programming Semantics
Mathematics of Program Construction
International Conference on Relational and Algebraic Methods in Computer Science
ACM Transactions on Computational Logic
