Propositions as Types

Communications of the ACM（2015）

引用 135|浏览54

暂无评分

摘要

Connecting mathematical logic and computation, it ensures that some aspects of programming are absolute.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要