Home > News > Andrej Bauer: Cell types

Andrej Bauer: Cell types

Date: 22. 5. 2012
Source: Mathematics and theoretical computing seminar
Torek, 22. 5. 2012, od 12h do 14h, Plemljev seminar, Jadranska 19

Abstract: cell types are a special kind of higher-inductive types which do not involve any recursion. They roughly correspond to gluing constructions a la CW complexes in ordinary topology. We shall look at their formalization in HoTT.