Affiliation:
1. University of Edinburgh, Scotland
Abstract
Connecting mathematical logic and computation, it ensures that some aspects of programming are absolute.
Funder
Engineering and Physical Sciences Research Council
Publisher
Association for Computing Machinery (ACM)
Cited by
97 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Term Search in Rust;Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development;2024-08-28
2. Topological Quantum Gates in Homotopy Type Theory;Communications in Mathematical Physics;2024-07
3. The four-fifths rule is not disparate impact: A woeful tale of epistemic trespassing in algorithmic fairness;The 2024 ACM Conference on Fairness, Accountability, and Transparency;2024-06-03
4. Linear Resources in Isabelle/HOL;Journal of Automated Reasoning;2024-05-18
5. Machine Learning and Information Theory Concepts towards an AI Mathematician;Bulletin of the American Mathematical Society;2024-05-15