Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
Crary, Karl
•
Miculan, Marino
2010
Periodico
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
DOI
Archivio
Diritti
metadata only access