FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program