Electronic Notes in Theoretical Computer Science, Volume 196

Volume 196, January 2008

Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2007)