BibTeX records: Gaëtan Gilbert

download as .bib file

@article{DBLP:journals/software/ZimmermannCGPG22,
  author       = {Th{\'{e}}o Zimmermann and
                  Julien Coolen and
                  Jason Gross and
                  Pierre{-}Marie P{\'{e}}drot and
                  Ga{\"{e}}tan Gilbert},
  title        = {The Advantages of Maintaining a Multitask, Project-Specific Bot: An
                  Experience Report},
  journal      = {{IEEE} Softw.},
  volume       = {39},
  number       = {5},
  pages        = {32--37},
  year         = {2022},
  url          = {https://doi.org/10.1109/MS.2022.3179773},
  doi          = {10.1109/MS.2022.3179773},
  timestamp    = {Sat, 10 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/ZimmermannCGPG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2204-12758,
  author       = {Th{\'{e}}o Zimmermann and
                  Julien Coolen and
                  Jason Gross and
                  Pierre{-}Marie P{\'{e}}drot and
                  Ga{\"{e}}tan Gilbert},
  title        = {Advantages of maintaining a multi-task project-specific bot: an experience
                  report},
  journal      = {CoRR},
  volume       = {abs/2204.12758},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2204.12758},
  doi          = {10.48550/ARXIV.2204.12758},
  eprinttype    = {arXiv},
  eprint       = {2204.12758},
  timestamp    = {Thu, 28 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-12758.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2112-07365,
  author       = {Th{\'{e}}o Zimmermann and
                  Julien Coolen and
                  Jason Gross and
                  Pierre{-}Marie P{\'{e}}drot and
                  Ga{\"{e}}tan Gilbert},
  title        = {Extending the team with a project-specific bot},
  journal      = {CoRR},
  volume       = {abs/2112.07365},
  year         = {2021},
  url          = {https://arxiv.org/abs/2112.07365},
  eprinttype    = {arXiv},
  eprint       = {2112.07365},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-07365.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/hal/Gilbert19,
  author       = {Ga{\"{e}}tan Gilbert},
  title        = {A type theory with definitional proof-irrelevance. (Une th{\'{e}}orie
                  des types avec insignifiance des preuves d{\'{e}}finitionnelle)},
  school       = {Mines ParisTech, France},
  year         = {2019},
  url          = {https://tel.archives-ouvertes.fr/tel-03236271},
  timestamp    = {Tue, 06 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Gilbert19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/GilbertCST19,
  author       = {Ga{\"{e}}tan Gilbert and
                  Jesper Cockx and
                  Matthieu Sozeau and
                  Nicolas Tabareau},
  title        = {Definitional proof-irrelevance without {K}},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {3},
  number       = {{POPL}},
  pages        = {3:1--3:28},
  year         = {2019},
  url          = {https://doi.org/10.1145/3290316},
  doi          = {10.1145/3290316},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/GilbertCST19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1802-06217,
  author       = {Andrej Bauer and
                  Ga{\"{e}}tan Gilbert and
                  Philipp G. Haselwarter and
                  Matija Pretnar and
                  Christopher A. Stone},
  title        = {Design and Implementation of the Andromeda Proof Assistant},
  journal      = {CoRR},
  volume       = {abs/1802.06217},
  year         = {2018},
  url          = {http://arxiv.org/abs/1802.06217},
  eprinttype    = {arXiv},
  eprint       = {1802.06217},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-06217.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/Gilbert17,
  author       = {Ga{\"{e}}tan Gilbert},
  editor       = {Yves Bertot and
                  Viktor Vafeiadis},
  title        = {Formalising real numbers in homotopy type theory},
  booktitle    = {Proceedings of the 6th {ACM} {SIGPLAN} Conference on Certified Programs
                  and Proofs, {CPP} 2017, Paris, France, January 16-17, 2017},
  pages        = {112--124},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3018610.3018614},
  doi          = {10.1145/3018610.3018614},
  timestamp    = {Tue, 06 Nov 2018 16:59:23 +0100},
  biburl       = {https://dblp.org/rec/conf/cpp/Gilbert17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/BauerGHPS16,
  author       = {Andrej Bauer and
                  Ga{\"{e}}tan Gilbert and
                  Philipp G. Haselwarter and
                  Matija Pretnar and
                  Christopher A. Stone},
  editor       = {Silvia Ghilezan and
                  Herman Geuvers and
                  Jelena Ivetic},
  title        = {Design and Implementation of the Andromeda Proof Assistant},
  booktitle    = {22nd International Conference on Types for Proofs and Programs, {TYPES}
                  2016, May 23-26, 2016, Novi Sad, Serbia},
  series       = {LIPIcs},
  volume       = {97},
  pages        = {5:1--5:31},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2016.5},
  doi          = {10.4230/LIPICS.TYPES.2016.5},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/BauerGHPS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/Gilbert16,
  author       = {Ga{\"{e}}tan Gilbert},
  title        = {Formalising Real Numbers in Homotopy Type Theory},
  journal      = {CoRR},
  volume       = {abs/1610.05072},
  year         = {2016},
  url          = {http://arxiv.org/abs/1610.05072},
  eprinttype    = {arXiv},
  eprint       = {1610.05072},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Gilbert16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/GilbertH15,
  author       = {Ga{\"{e}}tan Gilbert and
                  Olivier Hermant},
  editor       = {Martin Davis and
                  Ansgar Fehnker and
                  Annabelle McIver and
                  Andrei Voronkov},
  title        = {Normalisation by Completeness with Heyting Algebras},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
                  International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
                  2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9450},
  pages        = {469--482},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48899-7\_33},
  doi          = {10.1007/978-3-662-48899-7\_33},
  timestamp    = {Mon, 03 Jan 2022 22:31:30 +0100},
  biburl       = {https://dblp.org/rec/conf/lpar/GilbertH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.