Vai al contenuto
UniPD
Dipartimenti
Biblioteche
Contatti
Uniweb
Webmail
Moodle
Area riservata
MENU
ENG
CHIUDI
Dipartimento
Presentazione
Organi collegiali
Sedi e strutture
Aule e laboratori
Uffici
Persone
Qualità della ricerca
Amministrazione trasparente
Area riservata
Didattica
Corsi di Laurea
Dottorati di ricerca
Formazione dei futuri insegnanti (24
CFU
)
Formazione insegnanti e Piano Lauree Scientifiche
Corsi di Inglese
Orario delle lezioni
Ricerca
Research Areas [en]
Dottorati di ricerca
Convegni e Scuole
Seminari e Colloquia
Bandi e concorsi
Qualità della ricerca
Servizi
Supporto informatico
Biblioteca di Matematica
Sistema Bibliotecario di Ateneo
Link utili
Userlist
Home
News
Iniziative scientifiche
News
Informazioni
Procedure comparative
Procedure comparative - Archivio
Informazioni - Archivio
Iniziative scientifiche
Colloquia
Colloquia - Archivio
Convegni
Convegni - Archivio
Periodi intensivi
Periodi intensivi - Archivio
Seminari
NumLab
NumLab - Archivio
Seminario Dottorato
Seminario Dottorato - Archivio
Studenti
Studenti - Archivio
Seminari - Archivio
Iniziative scientifiche - Archivio
Ricerca e didattica
Bandi, premi e concorsi
Bandi, premi e concorsi - Archivio
Chiamate dirette
Chiamate dirette - Archivio
News didattica
News didattica - Archivio
News ricerca
Scadenze
Scadenze - Archivio
News ricerca - Archivio
Ricerca e didattica - Archivio
Terza Missione - Innovazione e cultura - Pari opportunità
Terza Missione - Innovazione e cultura - Pari opportunità - Archivio
News - Archivio
Iniziative scientifiche
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
