bibliographer - Alexis Saurin

bibliographer a curated TCS bibliography

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

Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular Proofs David Baelde Amina Doumane Denis Kuperberg Alexis Saurin [github]

Bouncing threads for infinitary and circular proofs David Baelde Amina Doumane Denis Kuperberg Alexis Saurin [github]

Least and Greatest Fixed Points in Ludics David Baelde Amina Doumane Alexis Saurin [github]

Towards Completeness via Proof Search in the Linear Time mu-calculus Amina Doumane David Baelde Lucca Hirschi Alexis Saurin [github]

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

[show logs] [hide logs]