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

Dependent Type Theory in Polarised Sequent Calculus (abstract)

Domaines

Logique en informatique [cs.LO] Langage de programmation [cs.PL]
Fichier principal
Vignette du fichier
ldep_types2020.pdf (190.77 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Guillaume Munch-Maccagnoni  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-02505671

Soumis le : mercredi 11 mars 2020-16:26:29

Dernière modification le : mardi 27 août 2024-12:51:37

Archivage à long terme le : vendredi 12 juin 2020-16:46:26

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS INRIA ENS-CACHAN EC-NANTES UNAM INRIA2 LS2N UNIV-PARIS-SACLAY LS2N-GALLINETTE ENS-PARIS-SACLAY NANTES-UNIVERSITE
196 Consultations
289 Téléchargements

Partager

More