Cheney, James; Momigliano, Alberto \(\alpha\mathrm{Check}\): a mechanized metatheory model checker. (English) Zbl 1379.68236 Theory Pract. Log. Program. 17, No. 3, 311-352 (2017). MSC: 68Q60 03B70 68T15 PDFBibTeX XMLCite \textit{J. Cheney} and \textit{A. Momigliano}, Theory Pract. Log. Program. 17, No. 3, 311--352 (2017; Zbl 1379.68236) Full Text: DOI arXiv
Popescu, Andrei; Roşu, Grigore Term-generic logic. (English) Zbl 1310.03044 Theor. Comput. Sci. 577, 1-24 (2015). MSC: 03B70 03B40 PDFBibTeX XMLCite \textit{A. Popescu} and \textit{G. Roşu}, Theor. Comput. Sci. 577, 1--24 (2015; Zbl 1310.03044) Full Text: DOI
Clouston, Ranald Nominal Lawvere theories: a category theoretic account of equational theories with names. (English) Zbl 1304.68030 J. Comput. Syst. Sci. 80, No. 6, 1067-1086 (2014). MSC: 68N30 03B70 18C10 18C50 68N18 PDFBibTeX XMLCite \textit{R. Clouston}, J. Comput. Syst. Sci. 80, No. 6, 1067--1086 (2014; Zbl 1304.68030) Full Text: DOI
Felty, Amy; Momigliano, Alberto Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax. (English) Zbl 1252.68252 J. Autom. Reasoning 48, No. 1, 43-105 (2012). MSC: 68T15 03B70 PDFBibTeX XMLCite \textit{A. Felty} and \textit{A. Momigliano}, J. Autom. Reasoning 48, No. 1, 43--105 (2012; Zbl 1252.68252) Full Text: DOI
Lee, Gyesik; Oliveira, Bruno C. d. S.; Cho, Sungkeun; Yi, Kwangkeun GMeta: a generic formal metatheory framework for first-order representations. (English) Zbl 1352.68063 Seidl, Helmut (ed.), Programming languages and systems. 21st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28868-5/pbk). Lecture Notes in Computer Science 7211, 436-455 (2012). MSC: 68N30 03B70 68T15 PDFBibTeX XMLCite \textit{G. Lee} et al., Lect. Notes Comput. Sci. 7211, 436--455 (2012; Zbl 1352.68063) Full Text: DOI
Stump, Aaron; Kimmell, Garrin; El Haj Omar, Roba Type preservation as a confluence problem. (English) Zbl 1236.68153 Schmid-Schauß, Manfred (ed.), 22nd international conference on rewriting techniques and applications (RTA 2011), Novi Sad, Serbia, May 30 – June 1, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-30-9). LIPIcs – Leibniz International Proceedings in Informatics 10, 345-360, electronic only (2011). MSC: 68Q42 03B70 03B40 PDFBibTeX XMLCite \textit{A. Stump} et al., LIPIcs -- Leibniz Int. Proc. Inform. 10, 345--360 (2011; Zbl 1236.68153) Full Text: DOI Link
Crary, Karl Explicit contexts in LF (extended abstract). (English) Zbl 1337.68237 Abel, Andreas (ed.) et al., Proceedings of the 3rd international workshop on logical frameworks and metalanguages: theory and practice (LFMTP 2008), Pittsburgh, PA, USA, June 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 228, 53-68 (2009). MSC: 68T15 03B70 PDFBibTeX XMLCite \textit{K. Crary}, Electron. Notes Theor. Comput. Sci. 228, 53--68 (2009; Zbl 1337.68237) Full Text: DOI
Miller, Dale Formalizing operational semantic specifications in logic. (English) Zbl 1347.68213 Falaschi, Moreno (ed.), Proceedings of the 17th international workshop on functional and (constraint) logic programming (WFLP 2008), Siena, Italy, July 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 246, 147-165 (2009). MSC: 68Q55 03B70 68Q42 68Q60 PDFBibTeX XMLCite \textit{D. Miller}, Electron. Notes Theor. Comput. Sci. 246, 147--165 (2009; Zbl 1347.68213) Full Text: DOI
Dockins, Robert; Appel, Andrew W.; Hobor, Aquinas Multimodal separation logic for reasoning about operational semantics. (English) Zbl 1286.68395 Bauer, Andrej (ed.) et al., Proceedings of the 24th conference on the mathematical foundations of programming semantics (MFPS XXIV), Philadelphia, PA, USA, May 22–25, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 218, 5-20 (2008). MSC: 68T15 03B70 68N15 68Q55 68Q60 PDFBibTeX XMLCite \textit{R. Dockins} et al., Electron. Notes Theor. Comput. Sci. 218, 5--20 (2008; Zbl 1286.68395) Full Text: DOI
Berghofer, Stefan; Urban, Christian A head-to-head comparison of de Bruijn indices and names. (English) Zbl 1278.03033 Momigliano, Alberto (ed.) et al., 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. Electronic Notes in Theoretical Computer Science 174, No. 5, 53-67 (2007). MSC: 03B40 03B70 68T15 PDFBibTeX XMLCite \textit{S. Berghofer} and \textit{C. Urban}, Electron. Notes Theor. Comput. Sci. 174, No. 5, 53--67 (2007; Zbl 1278.03033) Full Text: Link