Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference15 articles.
1. Lambda calculus extended with segments;Balsters,1987
2. Introduction to generalised type systems;Barendregt,1989
3. The mathematical language AUTOMATH, its usage, and some of its extensions;Bruijn,1970
4. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem;Bruijn;Nederl. Akad. Wetensch. Indag. Math.,1972
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Topological Quantum Gates in Homotopy Type Theory;Communications in Mathematical Physics;2024-07
2. Unification for Subformula Linking under Quantifiers;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
3. Partial Gradual Dependent Type Theory;Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity;2023-10-22
4. Datatype-generic programming meets elaborator reflection;Proceedings of the ACM on Programming Languages;2022-08-29
5. A Dependently Typed Linear π-Calculus in Agda;22nd International Symposium on Principles and Practice of Declarative Programming;2020-09-08