University of Calgary
CPSC 701.31 - Research Topics in Computer Science (Homotopy Type Theory) - Winter 2015
In depth course on a focused current research topic in Computer Science. Involves a significant research component and requires substantial background knowledge.
This course may be repeated for credit.
This course may be repeated for credit.
Hours
- H(3-0)
Sections
LEC 2 F 14:00 - 16:45 Robin Cockett
Powered by UNITIS. More features.