Keyboards as a New Model of Computation. - Yoan Géran; Bastien Laboureix; Corto Mascle; Valentin D. Richard (MFCS, 2021)

Les claviers, un modèle de calcul. - Yoan Géran; Bastien Laboureix; Corto Mascle; Valentin D. Richard (CoRR, 2021)

Encoding impredicative hierarchy of type universes with variables. - Yoan Géran (CoRR, 2023)