×

Found 39 Documents (Results 1–39)

On well-founded and recursive coalgebras. (English) Zbl 1455.18001

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 17-36 (2020).
MSC:  18A15 18C50 68Q65
PDFBibTeX XMLCite
Full Text: DOI arXiv

On algebras with effectful iteration. (English) Zbl 1520.18003

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 144-166 (2018).
MSC:  18C20 68Q55 18C50
PDFBibTeX XMLCite
Full Text: DOI HAL

Elgot theories: a new perspective of iteration theories (extended abstract). (English) Zbl 1338.18017

Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 407-427 (2009).
MSC:  18C10
PDFBibTeX XMLCite
Full Text: DOI

Semantics of higher-order recursion schemes. (English) Zbl 1239.68041

Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 49-63 (2009).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A description of iterative reflections of monads (extended abstract). (English) Zbl 1234.18003

de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). Lecture Notes in Computer Science 5504, 152-166 (2009).
MSC:  18C15 18C10 18C50
PDFBibTeX XMLCite
Full Text: DOI

Final coalgebras and a solution theorem for arbitrary endofunctors. (English) Zbl 1270.68183

Moss, Lawrence S. (ed.), CMCS’2002: Coalgebraic methods in computer science. Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 1, 1-28 (2002).
MSC:  68Q65 18C20
PDFBibTeX XMLCite
Full Text: DOI

From varieties of algebras to covarieties of coalgebras. (English) Zbl 1260.08004

Corradini, Andrea (ed.) et al., CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 1, 27-46 (2001).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software