Vai al contenuto principale
Italiano
English
Login
Doctoral school
PhD in Computer Science
search
menu
Cerca:
Search in:
Advanced search
Throughout the site
Avvisi/News
Corsi/Courses
Materiale didattico/Training aid
Docenti/Teachers
Documenti/Documents
Dottorandi/Phd Students
PhD Programme
About this programme
Admission
After the PhD
International dimension
Contacts
Quality Assurance
AQ Phd System
Students Opinion
People
Advisory Board
Coordinator
Scientific Board
Supervisors
PhD Students
Phd
Academic training
Training Activity
Seminars and Conferences
Annual Report
Calendar
Final Defense
Deadlines and Templates
Scientific Production
Opportunities
Non Academic Networking
PhD Programme
arrow_drop_down
About this programme
Admission
After the PhD
International dimension
Contacts
Quality Assurance
arrow_drop_down
AQ Phd System
Students Opinion
People
arrow_drop_down
Advisory Board
Coordinator
Scientific Board
Supervisors
PhD Students
Phd
Academic training
arrow_drop_down
Training Activity
Seminars and Conferences
Annual Report
Calendar
Final Defense
Deadlines and Templates
Scientific Production
Opportunities
arrow_drop_down
Non Academic Networking
Home
Teaching materials
Corso 0fwt
Type theory at work: introduction to Agda
Teacher:
Ugo De' Liguoro
Year:
1st year
Degree course:
PhD in Computer Science
MATERIALE DIDATTICO
No teaching material available for this course.
Home
Print
Inizio pagina
Non cliccare qui!
