University of Calgary

CPSC 601.2 - Special Topics in Computer Science (Homotopy Type Theory) - Winter 2016

A study of problems of particular interest to graduate students in Computer Science.
This course may be repeated for credit.


  • H(3-0)


This course will be offered next in Winter 2021.
Powered by UNITIS. More features.