×

Found 8 Documents (Results 1–8)

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field