Hybrid Extensions in a Logical Framework

Carsten Schürmann, Taus Brock-Nannestad, Nicolas Guenot, Agata Murawska

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationLFMTP '14 Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
PublisherAssociation for Computing Machinery
Publication date2014
Article number6
ISBN (Print)978-1-4503-2817-3
Publication statusPublished - 2014

Cite this