A Classical Sequent Calculus with Dependent Types - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles ACM Transactions on Programming Languages and Systems (TOPLAS) Year : 2019

A Classical Sequent Calculus with Dependent Types

Fichier principal
Vignette du fichier
dLtp.pdf (968.62 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01519929 , version 1 (09-05-2017)
hal-01519929 , version 2 (01-12-2017)
hal-01519929 , version 3 (15-12-2018)

Identifiers

Cite

Étienne Miquey. A Classical Sequent Calculus with Dependent Types. ACM Transactions on Programming Languages and Systems (TOPLAS), 2019, 41 (2), pp.1-48. ⟨10.1145/3230625⟩. ⟨hal-01519929v3⟩
683 View
957 Download

Altmetric

Share

Gmail Facebook X LinkedIn More