![](/img/cover-not-exists.png)
[ACM Press the Fourth International Workshop - Montreal, Quebec, Canada (2009.08.02-2009.08.02)] Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages Theory and Practice - LFMTP '09 - Theory support for weak higher order abstract syntax in Isabelle/HOL
Gunter, Elsa L., Osborn, Christopher J., Popescu, AndreiYear:
2009
Language:
english
DOI:
10.1145/1577824.1577827
File:
PDF, 248 KB
english, 2009