Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

Gaétan GILBERT

IATOSS


: Gaetan.Gilbertatls2n.fr

Adresse :

Université de Nantes - faculté des Sciences et Techniques ( FST )
Petit Port
2 Chemin de la Houssinière
BP 92208
44322 Nantes Cedex 3



Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [1] T. Zimmermann, J. Coolen, J. Gross, P. Pédrot, G. Gilbert. The Advantages of Maintaining a Multitask, Project-Specific Bot: An Experience Report. In IEEE Software ; éd. Institute of Electrical and Electronics Engineers, 2022.
      https://hal.inria.fr/hal-03479327v2
    • [2] 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

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [3] 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
Copyright : LS2N 2017 - Mentions Légales - 
 -