Home    People    Research    Publications    Presentations    Annual Report

Robin Cockett

Research Interests
Distributive categories, restriction categories, linearly distributive categories, differential categories; Categorical proof theory, semantics of computation, semantics of concurrency; categorical programming, quantum programming.

Contact Details
Office: ICT 652
Office phone: (403) 210-8483

Department of Computer Science
University of Calgary
2500 University Drive NW
Calgary, Alberta
Canada T2N 1N4

For comments regarding this website, please contact
Last updated March, 2024