1 2 3
Informazioni per...

Calendario

lun 27 ott 2025
lun 27 ott 2025

Introduction to Type Theory [1 ECTS, SSD: Mat/01]

Thorsten Altenkirch | University of Nottingham | h 16.30 (see after abstract for timetable and venue)

mer 29 ott 2025

From High School Algebra to University Algebra

Thorsten Altenkirch | University of Nottingham | h 16.30 Sala verde

dom 16 nov 2025
Condividi