Guillaume Munch-Maccagnoni

Dependent Type Theory in Polarised Sequent Calculus (abstract)

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

(conference cancelled due to events)