Propositions as TypesPhilip WadlerCommunications of the ACM(2015)引用 135|浏览53暂无评分摘要Connecting mathematical logic and computation, it ensures that some aspects of programming are absolute.更多查看译文AI 理解论文溯源树样例生成溯源树,研究论文发展脉络