Valentin Blot

Available identifiers

zbMath Open blot.valentinMaRDI QIDQ345703

List of research outcomes

Publication	Date of Publication	Type
A direct computational interpretation of second-order arithmetic via update recursion	2024-12-06	Paper
A semantics of \(\mathbb{K}\) into Dedukti	2024-11-26	Paper
From rewrite rules to axioms in the \(\lambda \varPi \)-calculus modulo theory	2024-10-30	Paper
Diller-Nahm bar recursion	2024-10-21	Paper
Extensional and Intensional Semantic Universes	2021-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5144612	2021-01-19	Paper
Hybrid realizability for intuitionistic and classical choice	2018-04-23	Paper
Classical Extraction in Continuation Models	2017-10-17	Paper
Realizability for Peano arithmetic with winning conditions in HON games	2016-12-02	Paper
Typed realizability for first-order classical analysis	2016-01-07	Paper
On Bar Recursion and Choice in a Classical Setting	2015-01-12	Paper
Realizability for Peano Arithmetic with Winning Conditions in HON Games	2013-06-28	Paper
Quasi-Affine Transformation in 3-D: Theory and Algorithms	2009-12-11	Paper
Quasi-Affine Transformation in Higher Dimension	2009-12-01	Paper

Research outcomes over time

This page was built for person: Valentin Blot