The identity type weak factorisation system (2008)

by Nicola Gambino , Richard Garner
Venue:U.U.D.M. REPORT 2008:20
Citations:11 - 1 self