Alberto Momigliano, Brigitte Pientka: Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FLoC 2006, Seattle, WA, USA, August 16, 2006. Electronic Notes in Theoretical Computer Science 174, Elsevier 2007