Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice - Cheney, James (Association for Computing Machinery, 2009)