Thiago Felicissimo

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 9

Top Topics

Logical Framework

Normative Systems

Reasoning Tasks

Top Venues

Publications

Thiago Felicissimo
Artifact report: Generic bidirectional typing for dependent type theories. ESOP (1) (2024)
Thiago Felicissimo, Théo Winterhalter
Impredicativity, Cumulativity and Product Covariance in the Logical Framework Dedukti. FSCD (2024)
Thiago Felicissimo
Generic bidirectional typing for dependent type theories. ESOP (1) (2024)
Thiago Felicissimo, Frédéric Blanqui, Ashish Kumar Barnawal
Translating Proofs from an Impredicative Type System to a Predicative One. CSL (2023)
Thiago Felicissimo
A framework for erased syntax and bidirectional typing. CoRR (2023)
Thiago Felicissimo, Frédéric Blanqui
Sharing proofs with predicative theories through universe polymorphic elaboration. CoRR (2023)
Thiago Felicissimo
Adequate and Computational Encodings in the Logical Framework Dedukti. FSCD (2022)
Thiago Felicissimo
Adequate and computational encodings in the logical framework Dedukti. CoRR (2022)
Thiago Felicissimo, Frédéric Blanqui, Ashish Kumar Barnawal
Translating proofs from an impredicative type system to a predicative one. CoRR (2022)