University of Calgary
Robin Cockett
- Professor
Currently Teaching
| W2024 - CPSC 521 - Foundations of Functional Programming | ||||||||||
| ||||||||||
Areas of Interest
Distributive categories, restriction categories, linearly distributive categories, differential categories;
Categorical proof theory, semantics of computation, semantics of concurrency; categorical programming, quantum programming.
Credentials
B.Sc., Warwick University (2000)
Ph.D., Leeds University (2000)
Powered by UNITIS. More features.