bibliographer - Fabrizio Montesi

bibliographer a curated TCS bibliography

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

Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib) Christopher Henson Fabrizio Montesi [github]

Hennessy-Milner Logic in CSLib, the Lean Computer Science Library Fabrizio Montesi Marco Peressotti Alexandre Rademaker [github]

CSLib: The Lean Computer Science Library Clark Barrett Swarat Chaudhuri Fabrizio Montesi Jim Grundy Pushmeet Kohli Leonardo de Moura Alexandre Rademaker Sorrachai Yingchareonthawornchai [github]

Multiparty session types as coherence proofs Marco Carbone Fabrizio Montesi Carsten Schürmann Nobuko Yoshida [github]

Better late than never: a fully-abstract semantics for classical processes Wen Kokke Fabrizio Montesi Marco Peressotti [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 (6 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]