![](/img/cover-not-exists.png)
[ACM Press the 2014 International Workshop - Vienna, Austria (2014.07.17-2014.07.17)] Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice - LFMTP '14 - Internal Adequacy of Bookkeeping in Coq
Ciaffaglione, Alberto, Scagnetto, IvanYear:
2014
Language:
english
DOI:
10.1145/2631172.2631180
File:
PDF, 289 KB
english, 2014