λμ-Calculus: An algorithmic interpretation of classical natural deduction 论文

2005Lecture notes in computer science引用 544
DOI
Logic, programming, and type systemsComputability, Logic, AI AlgorithmsLogic, Reasoning, and Knowledge
Computability, Logic, AI AlgorithmsLogic, Reasoning, and KnowledgeLogic, programming, and type systems
相关技术:Computability, Logic, AI Algorithms
关系图谱

λμ-Calculus: An algorithmic interpretation of classical natural deduction · 相关技术

相关技术

Computability, Logic, AI Algorithms