Open AccessDependent Type Theory in Polarised Sequent Calculus (abstract)
Author(s) -
Étienne Miquey,
Xavier Montillet,
Guillaume Munch-Maccagi
Publication year - 2020
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - sequent , sequent calculus , natural deduction , calculus (dental) , type (biology) , computer science , cut elimination theorem , type theory , mathematics , algorithm , algebra over a field , proof calculus , discrete mathematics , pure mathematics , geometry , mathematical proof , medicine , ecology , dentistry , biology