Skip to Main content Skip to Navigation
New interface
Journal articles

A Classical Sequent Calculus with Dependent Types

Étienne Miquey 1 
1 LS2N - équipe GALLINETTE - Gallinette : vers une nouvelle génération d'assistant à la preuve
Inria Rennes – Bretagne Atlantique , LS2N - Laboratoire des Sciences du Numérique de Nantes
Document type :
Journal articles
Complete list of metadata

Cited literature [49 references]  Display  Hide  Download

https://hal.inria.fr/hal-01519929
Contributor : Etienne Miquey Connect in order to contact the contributor
Submitted on : Saturday, December 15, 2018 - 1:16:22 AM
Last modification on : Thursday, December 1, 2022 - 11:00:07 AM
Long-term archiving on: : Saturday, March 16, 2019 - 12:20:16 PM

File

dLtp.pdf
Files produced by the author(s)

Identifiers

Citation

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

Share

Metrics

Record views

616

Files downloads

854