A Classical Sequent Calculus with Dependent Types
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Étienne Miquey : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01519929
Soumis le : samedi 15 décembre 2018-01:16:22
Dernière modification le : jeudi 15 février 2024-03:31:23
Archivage à long terme le : samedi 16 mars 2019-12:20:16