bibliographer
a curated TCS bibliography
obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian
Load index
Add reference
Probabilistic Termination by Monadic Affine Sized Typing
Ugo Dal Lago
Charles Grellois
Thu 02 May 2019
Library Size: 13G (1 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time:
N/A
[show logs]
[hide logs]
