Valentin Blot

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 14

Top Venues

LICS

CoRR

FSCD

FoSSaCS (2)

École normale supérieure de Lyon, France (PHD)

Education History

École normale supérieure de Lyon, France

PHD

Publications

Valentin Blot, Gilles Dowek, Thomas Traversié, Théo Winterhalter
From Rewrite Rules to Axioms in the λΠ-Calculus Modulo Theory. 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)
Valentin Blot, Denis Cousineau, Enzo Crance, Louise Dubois de Prisque, Chantal Keller, Assia Mahboubi, Pierre Vial
Compositional Pre-processing for Automated Reasoning in Dependent Type Theory. CPP (2023)
Valentin Blot
Diller-Nahm Bar Recursion. FSCD (2023)
Valentin Blot
A direct computational interpretation of second-order arithmetic via update recursion. LICS (2022)
Valentin Blot, Denis Cousineau, Enzo Crance, Louise Dubois de Prisque, Chantal Keller, Assia Mahboubi, Pierre Vial
Modular pre-processing for automated reasoning in dependent type theory. CoRR (2022)
Amélie Ledein, Valentin Blot, Catherine Dubois
A Semantics of 𝕂 into Dedukti. TYPES (2022)
Valentin Blot, Louise Dubois de Prisque, Chantal Keller, Pierre Vial
General Automation in Coq through Modular Transformations. PxTP (2021)
Valentin Blot, Jim Laird
Extensional and Intensional Semantic Universes: A Denotational Model of Dependent Types. LICS (2018)
Valentin Blot
An interpretation of system F through bar recursion. CoRR (2018)
Valentin Blot
An interpretation of system F through bar recursion. LICS (2017)
Valentin Blot
Realizability for Peano arithmetic with winning conditions in HON games. Ann. Pure Appl. Log. 168 (2) (2017)
Valentin Blot
Classical Extraction in Continuation Models. FSCD (2016)
Valentin Blot
Hybrid realizability for intuitionistic and classical choice. LICS (2016)
Valentin Blot
Typed realizability for first-order classical analysis. Log. Methods Comput. Sci. 11 (4) (2015)
Valentin Blot, Colin Riba
On Bar Recursion and Choice in a Classical Setting. APLAS (2013)
Valentin Blot
Realizability for Peano Arithmetic with Winning Conditions in HON Games. TLCA (2013)
Valentin Blot, David Coeurjolly
Quasi-Affine Transformation in Higher Dimension. DGCI (2009)
David Coeurjolly, Valentin Blot, Marie-Andrée Jacob-Da Col
Quasi-Affine Transformation in 3-D: Theory and Algorithms. IWCIA (2009)

Valentin Blot.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Valentin Blot