PaperMetrixEvidence-aware discovery
TR
Interface language English EN العربية AR Türkçe TR
Create account
conference-paper Open access

Dependent Type Theory in Polarised Sequent Calculus (abstract)

Étienne MiqueyXavier MontilletGuillaume Munch-Maccagnoni

  • HAL (Le Centre pour la Communication Scientifique Directe)
  • Centre National de la Recherche Scientifique
View publisher (opens in a new tab)
Research footprint

At a glance

Citations
0
References
0
Comments
0
Paper overview

Öz

(conference cancelled due to events)

Record transparency

Publication details

OpenAlex
W3018157905
Document type
conference-paper
Language
EN
Source
HAL (Le Centre pour la Communication Scientifique Directe)
Last metadata update
Community

Comments

Oturum Açın to join the discussion.

  1. No comments yet. Start the discussion.