Dale Miller - PDFSEARCH.IO - Document Search Engine

Dale Miller
Results: 57

#	Item
1	Linear logic as a logical framework by Dale Miller, Inria Abstract to be presented at SD 2017: Structures & Deduction Logical frameworks have seen three decades of design, theory, implementation, and applications. An ear Add to Reading List Source URL: anupamdas.com - Date: 2017-08-04 11:45:45
2	A framework for proof certificates in finite state exploration Quentin Heath and Dale Miller Inria Saclay–ˆIle-de-France ´ LIX, Ecole Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2015-06-25 16:48:44
3	Foundational proof certificates in first-order logic Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France Abstract. It is the exception that provers share and trust each o Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2013-05-22 10:58:51
4	A focused framework for emulating modal proof systems Sonia Marin, Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2016-06-12 16:01:25
5	Focused labeled proof systems for modal logic Dale Miller and Marco Volpe ´ Inria and LIX, Ecole Polytechnique, France Abstract. Focused proofs are sequent calculus proofs that group inference rules into alternating pos Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2015-10-19 12:38:16
6	Proof Outlines as Proof Certificates: A System Description Roberto Blanco Dale Miller ´ Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2015-11-01 15:57:58
7	A Semantics for Proof Evidence Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France October 1, 2013 Theorem provers are generally complex systems that search for proofs us Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2013-11-07 01:57:36
8	Foundational Proof Certificates Dale Miller ´ INRIA-Saclay and LIX/Ecole Polytechnique Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2014-12-22 08:38:15
9	Checking foundational proof certificates for first-order logic (extended abstract) Zakaria Chihani, Dale Miller and Fabien Renaud ´ INRIA and LIX, Ecole Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2013-05-22 23:44:30
10	Parsifal1 “To Correctness through Proof” Dale Miller (Team Leader) and ¨ Despeyroux, Stephane ´ Kaustuv Chaudhuri, Joelle Add to Reading List Source URL: www.lix.polytechnique.fr - Date: 2011-09-04 11:14:06

UPDATE