Thiago Felicissimo
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LICS | Definitional Proof Irrelevance Made Accessible. | Thiago Felicissimo, Yann Leray, Loc Pujet, Nicolas Tabareau, ric Tanter, Tho Winterhalter |
| 2025 | CADE | Sort-Based Confluence Criteria for Non-Left-Linear Higher-Order Rewriting. | Thiago Felicissimo, Jean-Pierre Jouannaud |
| 2024 | ESOP | Generic bidirectional typing for dependent type theories. | Thiago Felicissimo |
| 2024 | ESOP | Artifact report: Generic bidirectional typing for dependent type theories. | Thiago Felicissimo |
| 2024 | FSCD | Impredicativity, Cumulativity and Product Covariance in the Logical Framework Dedukti. | Thiago Felicissimo, Tho Winterhalter |
| 2023 | CSL | Translating Proofs from an Impredicative Type System to a Predicative One. | Thiago Felicissimo, Frdric Blanqui, Ashish Kumar Barnawal |
| 2022 | FSCD | Adequate and Computational Encodings in the Logical Framework Dedukti. | Thiago Felicissimo |