Yoan Géran

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Conceptual Model

Continuous Variables

Top Venues

Publications

Yoan Géran
Encoding impredicative hierarchy of type universes with variables. CoRR (2023)
Yoan Géran, Bastien Laboureix, Corto Mascle, Valentin D. Richard
Keyboards as a New Model of Computation. MFCS (2021)
Yoan Géran, Bastien Laboureix, Corto Mascle, Valentin D. Richard
Les claviers, un modèle de calcul. CoRR (2021)