LFMTP@LICS

200920132015201920092019

Keyphrases

Publications

2019

Michael Kohlhase, Jan Frederik Schaefer
GF + MMT = GLF - From Language to Semantics through LF. LFMTP@LICS (2019)
Aaron Stump
A Weakly Initial Algebra for Higher-Order Abstract Syntax in Cedille. LFMTP@LICS (2019)
Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning. LFMTP@LICS (2019)
Dennis Müller, Florian Rabe
Rapid Prototyping Formal Systems in MMT: 5 Case Studies. LFMTP@LICS (2019)

volume 307, 2019

Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@LICS 2019, Vancouver, Canada, 22nd June 2019. LFMTP@LICS 307 (2019)