Lambda Calculus Notation with Nameless Dummies, a Tool for Automatic Formula Manipulation, with Application to the Church-Rosser Theorem 论文
1994Studies in logic and the foundations of mathematics引用 268
Natural Language Processing TechniquesLogic, programming, and type systemsMathematics, Computing, and Information Processing
详细信息
- 发表期刊/会议
- Studies in logic and the foundations of mathematics
- 发表日期
- 1994-01-01
- 发表年份
- 1994
关键词
Natural Language Processing TechniquesLogic, programming, and type systemsMathematics, Computing, and Information Processing