Dependent Type Theory in Polarised Sequent Calculus (abstract) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Dependent Type Theory in Polarised Sequent Calculus (abstract)

Fichier principal
Vignette du fichier
ldep_types2020.pdf (190.77 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02505671 , version 1 (11-03-2020)

Identifiants

  • HAL Id : hal-02505671 , version 1

Citer

Étienne Miquey, Xavier Montillet, Guillaume Munch-Maccagnoni. Dependent Type Theory in Polarised Sequent Calculus (abstract). TYPES 2020 - 26th International Conference on Types for Proofs and Programs, Mar 2020, Torino, Italy. pp.1-3. ⟨hal-02505671⟩
159 Consultations
271 Téléchargements

Partager

Gmail Facebook X LinkedIn More