nLab Gilles Barthe

Selected writings

Selected writings

On type equivalence:

  • Gilles Barthe, Olivier Pons, Type Isomorphisms and Proof Reuse in Dependent Type Theory, in Foundations of Software Science and Computation Structures. FoSSaCS 2001, Lecture Notes in Computer Science 2030, Springer (2001) [doi:10.1007/3-540-45315-6_4]

Introducing the quantum programming language CoqQ:

category: people

Created on February 7, 2023 at 20:11:35. See the history of this page for a list of all contributions to it.