Author:
Asperti Andrea,Ricciotti Wilmer
Publisher
Springer Berlin Heidelberg
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Beyond the Turing Test: A Formalisation of a Decisional Turing Machine;Decision Economics: Minds, Machines, and their Society;2021
2. Verified programming of Turing machines in Coq;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20
3. Call-by-Value Lambda Calculus as a Model of Computation in Coq;Journal of Automated Reasoning;2018-10-19
4. Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq;Interactive Theorem Proving;2017
5. Towards Turing computability via coinduction;Science of Computer Programming;2016-09