TYPES ARE WEAK ω-GROUPOIDS (812)
by
Benno Van
,
Den Berg
,
Richard Garner







