About this scholarly article

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 by Gunter, Elsa L.; Osborn, Christopher J.; Popescu, Andrei is a scholarly article available to read on EtoBox.

Author

Gunter, Elsa L.; Osborn, Christopher J.; Popescu, Andrei

Publisher

ACM Press

Published

2009