Thiago Felicissimo

According to our database, Thiago Felicissimo authored at least 8 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

PhD thesis, 2024

Sharing proofs with predicative theories through universe-polymorphic elaboration.

Thiago Felicissimo, Frédéric Blanqui

Log. Methods Comput. Sci., 2024

Impredicativity, Cumulativity and Product Covariance in the Logical Framework Dedukti.

Thiago Felicissimo, Théo Winterhalter

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

Artifact report: Generic bidirectional typing for dependent type theories.

Thiago Felicissimo

Proceedings of the Programming Languages and Systems, 2024

Generic bidirectional typing for dependent type theories.

Thiago Felicissimo

Proceedings of the Programming Languages and Systems, 2024

2023

A framework for erased syntax and bidirectional typing.

Thiago Felicissimo

CoRR, 2023

Translating Proofs from an Impredicative Type System to a Predicative One.

Thiago Felicissimo, Frédéric Blanqui, Ashish Kumar Barnawal

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022

Adequate and Computational Encodings in the Logical Framework Dedukti.

Thiago Felicissimo

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022