Opzioni di iscrizione

TYPE THEORY 2024-2025 - SCQ1098250

Auto Enrol
Type theory: a bridge between mathematics and computer science through
a set theory where sets are types and proofs are programs.
Iscrizione spontanea (Studente)
Iscrizione spontanea (Studente)
Gli ospiti non possono entrare in questo corso, per favore autenticati.