Author:
Chihani Zakaria,Miller Dale
Subject
General Computer Science,Theoretical Computer Science
Reference22 articles.
1. Logic programming with focusing proofs in linear logic;Andreoli;J. of Logic and Computation,1992
2. General models, descriptions, and choice in type theory;Andrews;Journal of Symbolic Logic,1972
3. Autarkic computations in formal proofs;Barendregt;J. of Automated Reasoning,2002
4. Introduction to generalized type systems;Barendregt;Journal of Functional Programming,1991
5. The λΠ-calculus modulo as a universal proof language;Boespflug,2012
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A proof-theoretic approach to certifying skolemization;Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019;2019
2. Plugging-in proof development environments usingLocksinLF;Mathematical Structures in Computer Science;2018-05-15
3. Proof checking and logic programming;Formal Aspects of Computing;2017-05
4. Translating Between Implicit and Explicit Versions of Proof;Automated Deduction – CADE 26;2017
5. A Semantic Framework for Proof Evidence;Journal of Automated Reasoning;2016-07-05