Fiche membre Retour à l'annuaire

Gaétan GILBERT
IATOSS
Equipe : GALLINETTE.: Gaetan.Gilbertatls2n.fr
Adresse :
Université de Nantes - faculté des Sciences et Techniques ( FST )Petit Port2 Chemin de la HoussinièreBP 92208
44322 Nantes Cedex 3
Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)
- [1] G. Gilbert, J. Cockx, M. Sozeau, N. Tabareau. Definitional Proof-Irrelevance without K. In Proceedings of the ACM on Programming Languages ; éd. ACM, 2019.https://hal.inria.fr/hal-01859964v2
- [2] G. Gilbert. Formalising Real Numbers in Homotopy Type Theory. In 6th ACM SIGPLAN Conference on Certified Programs and Proofs, janvier 2017, Paris, France.https://hal.inria.fr/hal-01449326
- [3] G. Gilbert, O. Hermant. Normalization by Completeness with Heyting Algebras. In LPAR 20 : 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, novembre 2015, Suva, Fidji.https://hal-mines-paristech.archives-ouvertes.fr/hal-01204599