#coalgebra — Public Fediverse posts

Towards a Higher-Order Bialgebraic Denotational Semantics by Sergey Goncharov, @[email protected], @[email protected], Henning Urbat, and me has been (unconditionally) accepted at ICFP'26! Abstract below ​:Blobhaj_Read_Octopus:​

#icfp #functionalProgramming #programmingLanguages #semantics #coalgebra #categoryTheory

Towards a Higher-Order Bialgebraic Denotational Semantics by Sergey Goncharov, @[email protected], @[email protected], Henning Urbat, and me has been (unconditionally) accepted at ICFP'26! Abstract below ​:Blobhaj_Read_Octopus:​

#icfp #functionalProgramming #programmingLanguages #semantics #coalgebra #categoryTheory

Is anybody I know going to CMCS (Coalgebraic Methods in Computer Science) in Turin this year? It is co-located with @[email protected].

On Saturday 11 at 15:00 (local time), I'll be presenting a short contribution by Sergey Goncharov, @[email protected], @[email protected], Henning Urbat, and me.

Title and abstract are available at the link below. The full paper is under review at a double-blind venue, so please only open the link if you're not double-blind reviewing any coalgebra papers.

https://www.coalg.org/cmcs26/programme/#day-2026-04-11

#Turin #Torino #coalgebra #etaps #cmcs

@scy semi #coroutine are the general concept

https://en.wikipedia.org/wiki/Coroutine

which could be seen from a categorical point as #coalgebra

https://en.wikipedia.org/wiki/Coalgebra

(Don't meant as answer for an unasked question - just blew my mind a while ago when I realized the deeper concept and thought it might joyful for you as well)

@scy semi #coroutine are the general concept

https://en.wikipedia.org/wiki/Coroutine

which could be seen from a categorical point as #coalgebra

https://en.wikipedia.org/wiki/Coalgebra

(Don't meant as answer for an unasked question - just blew my mind a while ago when I realized the deeper concept and thought it might joyful for you as well)

@scy semi #coroutine are the general concept

https://en.wikipedia.org/wiki/Coroutine

which could be seen from a categorical point as #coalgebra

https://en.wikipedia.org/wiki/Coalgebra

(Don't meant as answer for an unasked question - just blew my mind a while ago when I realized the deeper concept and thought it might joyful for you as well)

@scy semi #coroutine are the general concept

https://en.wikipedia.org/wiki/Coroutine

which could be seen from a categorical point as #coalgebra

https://en.wikipedia.org/wiki/Coalgebra

(Don't meant as answer for an unasked question - just blew my mind a while ago when I realized the deeper concept and thought it might joyful for you as well)

@scy semi #coroutine are the general concept

https://en.wikipedia.org/wiki/Coroutine

which could be seen from a categorical point as #coalgebra

https://en.wikipedia.org/wiki/Coalgebra

(Don't meant as answer for an unasked question - just blew my mind a while ago when I realized the deeper concept and thought it might joyful for you as well)

Valeria de Paiva wrote:
> The first call of papers for Conference on #Algebra and #Coalgebra in Computer Science (CALCO 2023) is OUT!! hurray! send us your best work, will you? check dates and everything at https://coalg.org/calco-mfps-2023 #mfps