λμ-Calculus: An algorithmic interpretation of classical natural deduction 论文
2005Lecture notes in computer science引用 544
Logic, programming, and type systemsComputability, Logic, AI AlgorithmsLogic, Reasoning, and Knowledge
详细信息
- 发表期刊/会议
- Lecture notes in computer science
- 发表日期
- 2005-11-23
- 发表年份
- 2005
关键词
Logic, programming, and type systemsComputability, Logic, AI AlgorithmsLogic, Reasoning, and Knowledge