Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

Crary Karl, Miculan Marino
2010-01-01
Cite DOI