Skip to Main content Skip to Navigation
Conference papers

Dependent Type Theory in Polarised Sequent Calculus (abstract)

Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal.inria.fr/hal-02505671
Contributor : Guillaume Munch-Maccagnoni <>
Submitted on : Wednesday, March 11, 2020 - 4:26:29 PM
Last modification on : Wednesday, August 5, 2020 - 3:43:13 AM
Long-term archiving on: : Friday, June 12, 2020 - 4:46:26 PM

File

ldep_types2020.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02505671, version 1

Citation

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

Share

Metrics

Record views

80

Files downloads

248