Valentin Blot

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
scientific article; zbMATH DE number 7297814 (Why is no real title available?)	2021-01-19	Paper
scientific article; zbMATH DE number 7297814 (Why is no real title available?) (available as arXiv preprint)	2021-01-19	Paper
Hybrid realizability for intuitionistic and classical choice Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Classical extraction in continuation models	2017-10-17	Paper
Realizability for Peano arithmetic with winning conditions in HON games Annals of Pure and Applied Logic	2016-12-02	Paper
Typed realizability for first-order classical analysis Logical Methods in Computer Science	2016-01-07	Paper
On bar recursion and choice in a classical setting Programming Languages and Systems	2015-01-12	Paper
Realizability for Peano arithmetic with winning conditions in HON games Lecture Notes in Computer Science	2013-06-28	Paper
Quasi-Affine Transformation in 3-D: Theory and Algorithms Lecture Notes in Computer Science	2009-12-11	Paper
Quasi-affine transformation in higher dimension Discrete Geometry for Computer Imagery	2009-12-01	Paper

Research outcomes over time

This page was built for person: Valentin Blot