A Rewrite System for Proof Constructivization-Reference-Cited by-同舟云学术

A Rewrite System for Proof Constructivization

Published:2016-06-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
language:
Short-container-title:

Author:

Cauderlier Raphaël¹

Affiliation:

1. Inria, CNAM

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2966268.2966270

Reference19 articles.

1. M. Boudard and O. Hermant. Polarizing double negation translations. CoRR abs/1312.5420 2013. URL http://arxiv.org/abs/1312.5420. M. Boudard and O. Hermant. Polarizing double negation translations. CoRR abs/1312.5420 2013. URL http://arxiv.org/abs/1312.5420.

2. R. Cauderlier and P. Halmagrand . Checking Zenon Modulo Proofs in Dedukti. In Kaliszyk Cezary and Paskevich Andrei editor Proceedings 4th Workshop on Proof eXchange for Theorem Proving Berlin Germany August 2-3 2015 volume 186 of Electronic Proceedings in Theoretical Computer Science pages 57 -- 73 Berlin Germany August 2015. Open Publishing Association . doi: 10.4204/EPTCS.186.7. R. Cauderlier and P. Halmagrand. Checking Zenon Modulo Proofs in Dedukti. In Kaliszyk Cezary and Paskevich Andrei editor Proceedings 4th Workshop on Proof eXchange for Theorem Proving Berlin Germany August 2-3 2015 volume 186 of Electronic Proceedings in Theoretical Computer Science pages 57--73 Berlin Germany August 2015. Open Publishing Association. doi: 10.4204/EPTCS.186.7.

3. The duality of computation

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Kuroda's Translation for the λΠ-Calculus Modulo Theory and Dedukti;Electronic Proceedings in Theoretical Computer Science;2024-07-08

2. A modular construction of type theories;Logical Methods in Computer Science;2023-02-14

3. Herbrand Constructivization for Automated Intuitionistic Theorem Proving;Lecture Notes in Computer Science;2019

4. FoCaLiZe and Dedukti to the Rescue for Proof Interoperability;Interactive Theorem Proving;2017