Hugo Herbelin | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Étienne Miquey
5 publications
Nuria Brede
3 publications

research

∙ 05/19/2021

On the logical structure of choice and bar induction principles

We develop an approach to choice principles and their contrapositive bar...

0 Nuria Brede, et al. ∙

research

∙ 03/02/2018

Realizability Interpretation and Normalization of Typed Call-by-Need λ-calculus With Control

We define a variant of realizability where realizers are pairs of a term...

0 Étienne Miquey, et al. ∙