  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).
