Types are weak ω-groupoids (2008)

by Benno van den Berg , Richard Garner
Citations:7 - 0 self