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

Guillaume Munch-Maccagnoni

1 paper in the PaperMetrix corpus

Publications

Papers by this author

  1. Dependent Type Theory in Polarised Sequent Calculus (abstract)

    2020 · HAL (Le Centre pour la Communication Scientifique Directe)

    (conference cancelled due to events)