Login / Signup
LFMTP@FSCD
Publications
2018
François Thiré
Sharing a Library between Proof Assistants: Reaching out to the HOL Family.
LFMTP@FSCD
(2018)
Ernesto Copello
,
Nora Szasz
,
Álvaro Tasistro
Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders.
LFMTP@FSCD
(2018)
Carlo Angiuli
,
Evan Cavallo
,
Kuen-Bang Hou
,
Robert Harper
,
Jonathan Sterling
The RedPRL Proof Assistant (Invited Paper).
LFMTP@FSCD
(2018)
Rodolphe Lepigre
,
Christophe Raffalli
Abstract Representation of Binders in OCaml using the Bindlib Library.
LFMTP@FSCD
(2018)
Martín Copes
,
Nora Szasz
,
Álvaro Tasistro
Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution.
LFMTP@FSCD
(2018)
volume 274, 2018
Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018.
LFMTP@FSCD
274 (2018)