Kurz, Alexander; Pardo, Alberto; Petrişan, Daniela; Severi, Paula; De Vries, Fer-Jan Approximation of nested fixpoints – a coalgebraic view of parametric dataypes. (English) Zbl 1366.68186 Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-84-2). LIPIcs – Leibniz International Proceedings in Informatics 35, 205-220 (2015). MSC: 68Q65 68N18 PDFBibTeX XMLCite \textit{A. Kurz} et al., LIPIcs -- Leibniz Int. Proc. Inform. 35, 205--220 (2015; Zbl 1366.68186) Full Text: DOI
Kurz, Alexander; Petrisan, Daniela Luan; Severi, Paula; De Vries, Fer-Jan Nominal coalgebraic data types with applications to lambda calculus. (English) Zbl 1314.68189 Log. Methods Comput. Sci. 9, No. 4, Paper No. 22, 51 p. (2013). MSC: 68Q65 03B40 18C50 PDFBibTeX XMLCite \textit{A. Kurz} et al., Log. Methods Comput. Sci. 9, No. 4, Paper No. 22, 51 p. (2013; Zbl 1314.68189) Full Text: DOI arXiv
Bílková, Marta; Kurz, Alexander; Petrişan, Daniela; Velebil, Jiří Relation lifting, with an application to the many-valued cover modality. (English) Zbl 1287.18008 Log. Methods Comput. Sci. 9, No. 4, Paper No. 8, 48 p. (2013). MSC: 18D20 03B45 03G30 06F07 18C15 18D05 PDFBibTeX XMLCite \textit{M. Bílková} et al., Log. Methods Comput. Sci. 9, No. 4, Paper No. 8, 48 p. (2013; Zbl 1287.18008) Full Text: DOI arXiv
Kurz, Alexander; Petrişan, Daniela; Severi, Paula; de Vries, Fer-Jan An alpha-corecursion principle for the infinitary lambda calculus. (English) Zbl 1328.03008 Pattinson, Dirk (ed.) et al., Coalgebraic methods in computer science. 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31–April 1, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32783-4/pbk). Lecture Notes in Computer Science 7399, 130-149 (2012). MSC: 03B40 03G30 18C10 PDFBibTeX XMLCite \textit{A. Kurz} et al., Lect. Notes Comput. Sci. 7399, 130--149 (2012; Zbl 1328.03008) Full Text: DOI
Bílková, Marta; Kurz, Alexander; Petrişan, Daniela; Velebil, Jiří Relation liftings on preorders and posets. (English) Zbl 1343.18003 Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 115-129 (2011). MSC: 18B10 03G30 18A35 18C20 PDFBibTeX XMLCite \textit{M. Bílková} et al., Lect. Notes Comput. Sci. 6859, 115--129 (2011; Zbl 1343.18003) Full Text: DOI arXiv
Kurz, Alexander; Petrişan, Daniela Presenting functors on many-sorted varieties and applications. (English) Zbl 1252.18009 Inf. Comput. 208, No. 12, 1421-1446 (2010). MSC: 18C05 03G30 08C05 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{D. Petrişan}, Inf. Comput. 208, No. 12, 1421--1446 (2010; Zbl 1252.18009) Full Text: DOI
Kurz, Alexander; Petrişan, Daniela On universal algebra over nominal sets. (English) Zbl 1193.08004 Math. Struct. Comput. Sci. 20, No. 2, 285-318 (2010). MSC: 08A70 03C05 03G30 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{D. Petrişan}, Math. Struct. Comput. Sci. 20, No. 2, 285--318 (2010; Zbl 1193.08004) Full Text: DOI
Kurz, Alexander; Petrişan, Daniela Functorial coalgebraic logic: the case of many-sorted varieties. (English) Zbl 1279.03085 Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 175-194 (2008). MSC: 03G30 03B45 08C05 PDFBibTeX XMLCite \textit{A. Kurz} and \textit{D. Petrişan}, Electron. Notes Theor. Comput. Sci. 203, No. 5, 175--194 (2008; Zbl 1279.03085) Full Text: DOI