Enrolment options

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.
Self enrolment (Student)
Self enrolment (Student)
Guests cannot access this course. Please log in.