bibliographer - Marcello M. Bonsangue

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Presenting Distributive Laws Marcello M. Bonsangue Helle Hvid Hansen Alexander Kurz Jurriaan Rot [github]

Presenting Distributive Laws Marcello M. Bonsangue Helle Hvid Hansen Alexander Kurz Jurriaan Rot [github]

Context-free coalgebras Joost Winter Marcello M. Bonsangue Jan J.M.M. Rutten [github]

Context-Free Languages, Coalgebraically Joost Winter Marcello M. Bonsangue Jan Rutten [github]

Logic and Program Semantics Filippo Bonchi Marcello M. Bonsangue Jan J. M. M. Rutten Alexandra Silva [github]

Infinite intersection types Marcello M. Bonsangue Joost N. Kok [github]

Defining Context-Free Power Series Coalgebraically Marcello M. Bonsangue Jan Rutten Joost Winter [github]

Library Size: 13G (7 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]