Seminar series
Date
Fri, 17 Feb 2012
Time
10:30 -
12:00
Location
Comlab
Speaker
Kobi Kremnizer
Organisation
Oxford
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.