Thomas Traversié

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 5

Top Topics

Computer Algebra

Automated Theorem Proving

Theoretical Framework

Top Venues

Publications

Valentin Blot, Gilles Dowek, Thomas Traversié, Théo Winterhalter
From Rewrite Rules to Axioms in the λΠ-Calculus Modulo Theory. CoRR (2024)
Thomas Traversié
Proofs for Free in the λπ-Calculus Modulo Theory. CoRR (2024)
Thomas Traversié
Kuroda's Translation for Higher-Order Logic. CoRR (2024)
Valentin Blot, Gilles Dowek, Thomas Traversié, Théo Winterhalter
From Rewrite Rules to Axioms in the $\lambda \varPi $-Calculus Modulo Theory. FoSSaCS (2) (2024)
Thomas Traversié
Kuroda's Translation for the λπ-Calculus Modulo Theory and Dedukti. CoRR (2024)