bibliographer - Davide Sangiorgi

bibliographer a curated TCS bibliography

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

On the origins of bisimulation and coinduction Davide Sangiorgi [github]

Bisimulation and Coinduction Enhancements: A Historical Perspective Damien Pous Davide Sangiorgi [github]

Extensional and Non-extensional Functions as Processes Ken Sakayori Davide Sangiorgi [github]

Modular coinduction up-to for higher-order languages via first-order transition systems Jean-Marie Madiot Damien Pous Davide Sangiorgi [github]

Bisimulations Up-to: Beyond First-Order Transition Systems Jean-Marie Madiot Damien Pous Davide Sangiorgi [github]

On the Expressiveness and Decidability of Higher-order Process Calculi Ivan Lanese Jorge A. Pérez Davide Sangiorgi Alan Schmitt [github]

Environmental bisimulations for higher-order languages Davide Sangiorgi Naoki Kobayashi Eijiro Sumii [github]

An operational semantics for a calculus for wireless systems Ivan Lanese Davide Sangiorgi [github]

On the bisimulation proof method Davide Sangiorgi [github]

On coinductive equivalences for higher-order probabilistic functional programs Ugo Dal Lago Davide Sangiorgi Michele Alberti [github]

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

[show logs] [hide logs]