Algebraic theories and locally presentable categories
|
Fri, 17/02/2012 10:30 |
Kobi Kremnizer (Oxford) |
Quantum Mathematics and Computation  |
Comlab |
| Algebraic theories, locally presentable categories and their application to type theories. The seminar will take place in Lecture Theatre A of the Department of Computer Science. | |||