Papers

Topics

Authors

Recent

View all

Detailed Answer

Quick Answer

Concise responses based on abstracts only

Detailed Answer

Well-researched responses based on abstracts and relevant paper content.

Custom Instructions Pro

Preferences or requirements that you'd like Emergent Mind to consider when generating responses

Gemini 2.5 Flash

Gemini 2.5 Flash 45 tok/s

Gemini 2.5 Pro 54 tok/s Pro

GPT-5 Medium 22 tok/s Pro

GPT-5 High 20 tok/s Pro

GPT-4o 99 tok/s Pro

Kimi K2 183 tok/s Pro

GPT OSS 120B 467 tok/s Pro

Claude Sonnet 4 38 tok/s Pro

2000 character limit reached

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

Published 3 Jul 2018 in cs.LO and cs.PL

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