Thomas Traversié

According to our database, Thomas Traversié authored at least 7 papers between 2024 and 2025.

Collaborative distances:

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

2025

Formalizing Representation Theorems for a Logical Framework with Rewriting.

Thomas Traversié, Florian Rabe

CoRR, April, 2025

Monad Translations for Higher-Order Logic.

Thomas Traversié

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

2024

Proofs for Free in the λπ-Calculus Modulo Theory.

Thomas Traversié

Proceedings of the Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2024

Kuroda's Translation for the λπ-Calculus Modulo Theory and Dedukti.

Thomas Traversié

Proceedings of the Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2024

Kuroda's Translation for Higher-Order Logic.

Thomas Traversié

CoRR, 2024

From Rewrite Rules to Axioms in the λΠ-Calculus Modulo Theory.

Valentin Blot, Gilles Dowek, Thomas Traversié, Théo Winterhalter

CoRR, 2024

From Rewrite Rules to Axioms in the $\lambda \varPi $-Calculus Modulo Theory.

Valentin Blot, Gilles Dowek, Thomas Traversié, Théo Winterhalter

Proceedings of the Foundations of Software Science and Computation Structures, 2024