Thiago Felicissimo

13 papers A 1B 3Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Generic Bidirectional Typing for Dependent Type Theories.
ACM Trans. Program. Lang. Syst.
Thiago Felicissimo
2025 A conf
Sort-Based Confluence Criteria for Non-Left-Linear Higher-Order Rewriting.
CADE
Thiago Felicissimo, Jean-Pierre Jouannaud
2024 — conf
Artifact report: Generic bidirectional typing for dependent type theories.
ESOP (1)
Thiago Felicissimo
2024 — conf
Generic bidirectional typing for dependent type theories.
ESOP (1)
Thiago Felicissimo
2024 — —
Generic bidirectional typing in a logical framework for dependent type theories. (Typage bidirectionnel générique dans un logical framework pour les théories des types dépendants).
Thiago Felicissimo
2024 B conf
Impredicativity, Cumulativity and Product Covariance in the Logical Framework Dedukti.
FSCD
Thiago Felicissimo, Théo Winterhalter
2024 J jnl
Sharing proofs with predicative theories through universe-polymorphic elaboration.
Log. Methods Comput. Sci.
Thiago Felicissimo, Frédéric Blanqui
2023 J jnl
A framework for erased syntax and bidirectional typing.
CoRR
Thiago Felicissimo
2023 J jnl
Sharing proofs with predicative theories through universe polymorphic elaboration.
CoRR
Thiago Felicissimo, Frédéric Blanqui
2023 B conf
Translating Proofs from an Impredicative Type System to a Predicative One.
CSL
Thiago Felicissimo, Frédéric Blanqui, Ashish Kumar Barnawal
2022 B conf
Adequate and Computational Encodings in the Logical Framework Dedukti.
FSCD
Thiago Felicissimo
2022 J jnl
Adequate and computational encodings in the logical framework Dedukti.
CoRR
Thiago Felicissimo
2022 J jnl
Translating proofs from an impredicative type system to a predicative one.
CoRR
Thiago Felicissimo, Frédéric Blanqui, Ashish Kumar Barnawal