Electronic Notes in Theoretical Computer Science, Volume 199

Volume 199, February 2008

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages (LFM 2004)