bibliographer - Giuseppe Castagna

bibliographer a curated TCS bibliography

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

Semantic Subtyping: Dealing Set-theoretically with Function, Union, Intersection, and Negation Types Alain Frisch Giuseppe Castagna Véronique Benzaken [github]

On Global Types and Multi-Party Session Giuseppe Castagna Mariangiola Dezani-Ciancaglini Luca Padovani [github]

Polymorphic functions with set-theoretic types Giuseppe Castagna Kim Nguyen Zhiwu Xu Hyeonseung Im Sergueï Lenglet Luca Padovani [github]

Set-theoretic types for polymorphic variants Giuseppe Castagna Tommaso Petrucciani Kim Nguy~ên [github]

Behavioral Types in Programming Languages Davide Ancona Viviana Bono Mario Bravetti Joana Campos Giuseppe Castagna Pierre-Malo Deniélou Simon J. Gay Nils Gesbert Elena Giachino Raymond Hu Einar Broch Johnsen Francisco Martins Viviana Mascardi Fabrizio Montesi Rumyana Neykova Nicholas Ng Bono Luca Padovani Vasco T. Vasconcelos Nobuko Yoshida [github]

Library Size: 13G (5 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]