Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Johannes Schoisswohl, Laura Kovács
Journal title: Proceedings of the 16th Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP)
Journal number: EPTCS volume 337
Journal publisher: EPTCS
Published year: 2021
Published pages: 39-54
DOI identifier: 10.4204/eptcs.337.4
Search
Associated projects
Organisations
- Not specified