Ahrens, Benedikt Initial semantics for reduction rules. (English) Zbl 1421.68013 Log. Methods Comput. Sci. 15, No. 1, Paper No. 28, 45 p. (2019). MSC: 68N30 18C10 18C50 68N18 PDFBibTeX XMLCite \textit{B. Ahrens}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 28, 45 p. (2019; Zbl 1421.68013) Full Text: DOI arXiv
Ahrens, Benedikt Initiality for typed syntax and semantics. (English) Zbl 1362.68040 Ong, Luke (ed.) et al., Logic, language, information and computation. 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32620-2/pbk). Lecture Notes in Computer Science 7456, 127-141 (2012). MSC: 68N30 18C10 18C50 68N18 PDFBibTeX XMLCite \textit{B. Ahrens}, Lect. Notes Comput. Sci. 7456, 127--141 (2012; Zbl 1362.68040) Full Text: DOI arXiv
Ahrens, Benedikt Extended initiality for typed abstract syntax. (English) Zbl 1362.68039 Log. Methods Comput. Sci. 8, No. 2, Paper No. 1, 35 p. (2012). MSC: 68N30 18C10 18C50 68N18 68T15 PDFBibTeX XMLCite \textit{B. Ahrens}, Log. Methods Comput. Sci. 8, No. 2, Paper No. 1, 35 p. (2012; Zbl 1362.68039) Full Text: DOI arXiv