EasyChair Smart SlideDocs/Log in
Conference: LFMTP'18 (Logical Frameworks and Meta Languages: Theory and Practice)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Formalization in Constructive Type Theory of the Standardization Theorem

Formalization in Constructive Type Theory of the Standardization Theorem

Matrín Copes, Nora Szasz and Alvaro Tasistro

Functional programming with λ-tree syntax: a progress report

Functional programming with λ-tree syntax: a progress report

Ulysse Gérard and Dale Miller

Computation-as-deduction in Abella: work in progress

Computation-as-deduction in Abella: work in progress

Kaustuv Chaudhuri, Ulysse Gérard and Dale Miller

Sharing a library between proof assistants: reaching out to the HOL family

Sharing a library between proof assistants: reaching out to the HOL family

François Thiré

Abstract Representation of Binders in OCaml using the Bindlib Library

Abstract Representation of Binders in OCaml using the Bindlib Library

Rodolphe Lepigre and Christophe Raffalli

Invited talk: Cubical Computational Type Theory and RedPRL

Invited talk: Cubical Computational Type Theory and RedPRL

Kuen-Bang Hou Favonia

Property-Based Testing of Abstract Machines: an Experience Report

Property-Based Testing of Abstract Machines: an Experience Report

Francesco Komauli and Alberto Momigliano

Formalisation of Barendregt's Variable Convention for Generic Structures with Binders

Formalisation of Barendregt's Variable Convention for Generic Structures with Binders

Ernesto Copello, Nora Szasz and Alvaro Tasistro

Presentations in this collection: 8
Copyright © 2002 – 2024 EasyChair