FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Angiuli, Carlo	The RedPRL Proof Assistant (PDF)
C
Carlier, Sébastien	What Does This Notation Mean Anyway? BNF-Style Notation as it is actually used (PDF, talk)
Cavallo, Evan	The RedPRL Proof Assistant (PDF)
Chaudhuri, Kaustuv	Computation-as-deduction in Abella: work in progress (PDF, talk)
Copello, Ernesto	Formalisation of Barendregt's Variable Convention for Generic Structures with Binders (PDF, talk)
Copes, Martin	Formalization in Constructive Type Theory of the Standardization Theorem (PDF, talk)
F
Feller, David	What Does This Notation Mean Anyway? BNF-Style Notation as it is actually used (PDF, talk)
G
Gérard, Ulysse	Functional programming with λ-tree syntax: a progress report (PDF, talk) Computation-as-deduction in Abella: work in progress (PDF, talk)
H
Harper, Robert	The RedPRL Proof Assistant (PDF)
Hou, Kuen-Bang	Cubical Computational Type Theory and RedPRL (PDF) The RedPRL Proof Assistant (PDF)
K
Kamareddine, Fairouz	What Does This Notation Mean Anyway? BNF-Style Notation as it is actually used (PDF, talk)
Kesner, Delia	A fresh view of call-by-need (PDF)
Komauli, Francesco	Property-Based Testing of Abstract Machines: an Experience Report (PDF, talk)
L
Lepigre, Rodolphe	Abstract Representation of Binders in OCaml using the Bindlib Library (PDF, talk)
M
Miller, Dale	Functional programming with λ-tree syntax: a progress report (PDF, talk) Computation-as-deduction in Abella: work in progress (PDF, talk)
Momigliano, Alberto	Property-Based Testing of Abstract Machines: an Experience Report (PDF, talk)
R
Raffalli, Christophe	Abstract Representation of Binders in OCaml using the Bindlib Library (PDF, talk)
Rosu, Grigore	Why and How Does K work? The Logical Infrastructure Behind It (PDF)
S
Sterling, Jonathan	The RedPRL Proof Assistant (PDF)
Szasz, Nora	Formalization in Constructive Type Theory of the Standardization Theorem (PDF, talk) Formalisation of Barendregt's Variable Convention for Generic Structures with Binders (PDF, talk)
T
Tasistro, Alvaro	Formalization in Constructive Type Theory of the Standardization Theorem (PDF, talk) Formalisation of Barendregt's Variable Convention for Generic Structures with Binders (PDF, talk)
Thiré, François	Sharing a library between proof assistants: reaching out to the HOL family (PDF, talk)
W
Wells, Joe	What Does This Notation Mean Anyway? BNF-Style Notation as it is actually used (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program