Brigitte Pientka, Carsten Schürmann, editors, Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@CADE 2007, Bremen, Germany, July 15, 2007. Volume 196 of Electronic Notes in Theoretical Computer Science, Elsevier, 2008. [doi]
Conference: lfmtp2008
Abstract is missing.