Hybrid Extensions in a Logical Framework

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

View graph of relations

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

ID: 78906359