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)
maintained by Schloss Dagstuhl LZI at University of Trier