Types are weak ω-groupoids (2008)

by Benno van den Berg , Richard Garner
Citations:24 - 1 self