LFMTP 2012

7th International Workshop on

Logical Frameworks and Meta-languages:

Theory and Practice

Copenhagen, Denmark - September 9, 2012