@inproceedings{inproceedings, title  = {{Theory support for weak higher order abstract syntax in Isabelle/HOL}},

 publisher = {{ACM Press}},

 url = {{http://dx.doi.org/10.1145/1577824.1577827 }},

 year = {{2009}},

 month = {{11}},

 author = {{Gunter EL and Osborn CJ and Popescu A}},

 doi = {{10.1145/1577824.1577827}},

 journal = {{Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages Theory and Practice - LFMTP '09}},

 note = {{Accessed on 2024/12/23}}}