Momigliano, Alberto (ed.); Pientka, Brigitte (ed.) Proceedings of the first international workshop on logical frameworks and meta-languages: theory and practice (LFMTP 2006), Seattle, WA, USA, August 16, 2006. (English) Zbl 1273.68041 Electronic Notes in Theoretical Computer Science 174, No. 5. Amsterdam: Elsevier. 149 p., electronic only (2007). MSC: 68-06 03B70 00B25 PDFBibTeX XMLCite \textit{A. Momigliano} (ed.) and \textit{B. Pientka} (ed.), Proceedings of the first international workshop on logical frameworks and meta-languages: theory and practice (LFMTP 2006), Seattle, WA, USA, August 16, 2006. Amsterdam: Elsevier (2007; Zbl 1273.68041) Full Text: Link
Ambler, S. J. (ed.); Crole, R. L. (ed.); Momigliano, A. (ed.) MERLIN 2001. Proceedings of the workshop on mechanized reasoning about languages with variable binding (in connection with IJCAR 2001), Siena, Italy, June 18, 2001. (English) Zbl 1266.68006 Electronic Notes in Theoretical Computer Science 58, No. 1. Amsterdam: Elsevier. 116 p., electronic only (2001). MSC: 68-06 68N18 68T15 00B25 PDFBibTeX XMLCite \textit{S. J. Ambler} (ed.) et al., MERLIN 2001. Proceedings of the workshop on mechanized reasoning about languages with variable binding (in connection with IJCAR 2001), Siena, Italy, June 18, 2001. Amsterdam: Elsevier (2001; Zbl 1266.68006) Full Text: Link