Valentin Blot

Available identifiers

zbMath Open blot.valentinMaRDI QIDQ345703

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Valentin Blot