Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Fr\'ed\'eric Blanqui (INRIA); Giselle Reis (CMU)

arxiv: 1807.01352 · v1 · pith:UMKVGVYXnew · submitted 2018-07-03 · 💻 cs.LO · cs.PL

Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Fr\'ed\'eric Blanqui (INRIA) , Giselle Reis (CMU) This is my paper

classification 💻 cs.LO cs.PL

keywords internationalworkshopconferenceframeworkslfmtplogicalmeta-languagespractice

0 comments

read the original abstract

This volume contains a selection of papers presented at LFMTP 2018, the 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on July 7, 2018, in Oxford, UK. The workshop was affiliated with the 3rd international conference on Formal Structures for Computation and Deduction (FSCD) within the 7th Federated Logic Conference (FLoC).

This paper has not been read by Pith yet.

Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

discussion (0)