bibliographer - Antonio Bucciarelli

bibliographer a curated TCS bibliography

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

The inhabitation problem for non-idempotent intersection types Antonio Bucciarelli Delia Kesner Simona Ronchi Della Rocca [github]

On phase semantics and denotational semantics: the exponentials Antonio Bucciarelli Thomas Ehrhard [github]

On phase semantics and denotational semantics in multiplicativetextendashadditive linear logic Antonio Bucciarelli Thomas Ehrhard [github]

Library Size: 13G (3 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]