![](/img/cover-not-exists.png)
[ACM Press the Eleventh Workshop - Porto, Portugal (2016.06.23-2016.06.23)] Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice - LFMTP '16 - Implementing HOL in an Higher Order Logic Programming Language
Dunchev, Cvetan, Coen, Claudio Sacerdoti, Tassi, EnricoYear:
2016
Language:
english
DOI:
10.1145/2966268.2966272
File:
PDF, 255 KB
english, 2016