Electronic Notes in Theoretical Computer Science, Volume 205

Volume 205, April 2008

Proceedings of the Second Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2007)