Yoan Géran

Orcid: 0009-0007-3970-7811

According to our database¹, Yoan Géran authored at least 4 papers between 2021 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

A Canonical Form for Universe Levels in Impredicative Type Theory.

[DOI]

Proceedings of the 34th EACSL Annual Conference on Computer Science Logic, 2026

2023

Encoding impredicative hierarchy of type universes with variables.

[DOI]

CoRR, 2023

2021

Les claviers, un modèle de calcul.

[DOI]

CoRR, 2021

Keyboards as a New Model of Computation.

[DOI]

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021