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

Natural Language Processing Techniques Logic, programming, and type systems Mathematics, Computing, and Information Processing

相关技术:Natural Language Processing Techniques Mathematics, Computing, and Information Processing

Lambda Calculus Notation with Nameless Dummies, a Tool for Automatic Formula Manipulation, with Application to the Church-Rosser Theorem · 作者

暂无数据