Dependent Type Theory in Polarised Sequent Calculus (abstract) - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2020

Dependent Type Theory in Polarised Sequent Calculus (abstract)

Domains

Logic in Computer Science [cs.LO] Programming Languages [cs.PL]
Fichier principal
Vignette du fichier
ldep_types2020.pdf (190.77 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Guillaume Munch-Maccagnoni  : Connect in order to contact the contributor

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

Submitted on : Wednesday, March 11, 2020-4:26:29 PM

Last modification on : Tuesday, August 27, 2024-12:51:37 PM

Long-term archiving on : Friday, June 12, 2020-4:46:26 PM

Download

Dates and versions

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

Identifiers

  • HAL Id : hal-02505671 , version 1

Cite

É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⟩

Export

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
175 View
286 Download

Share

More