bibliographer - Delia Kesner

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]

From Higher-Order to First-Order Rewriting Eduardo Bonelli Delia Kesner Alejandro Rios [github]

The Theory of Calculi with Explicit Substitutions Revisited Delia Kesner [github]

Resource operators for łambda-calculus Delia Kesner Stéphane Lengrand [github]

Tight typings and split bounds, fully developed BENIAMINO ACCATTOLI STÉPHANE GRAHAM-LENGRAND DELIA KESNER [github]

Proof nets and explicit substitutions ROBERTO DI COSMO DELIA KESNER EMMANUEL POLONOVSKI [github]

Consuming and Persistent Types for Classical Logic Delia Kesner Pierre Vial [github]

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

[show logs] [hide logs]