Università degli Studi di Padova

Seminari

“The consistency of intensional Martin-Löf type theory with formal Church’s thesis, a game-semantic approach”

Lunedì 21 Settmbre 2020, ore 16:30 - Zoom - Norihiro Yamada (University of Minnesota)

10/09/2020 08:32 Leggi