Herman Geuvers Gopalan Nadathur Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice LFMTP http://dx.doi.org/10.4204/EPTCS.71 2011 EPTCS 71 db/series/eptcs/eptcs71.html