Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages Theory and Practice
ACM Digital Library