Types are weak ω-groupoids (0)

by B van den Berg, R Garner
Venue:London Mathematical Society