The identity type weak factorisation system (0)

by N Gambino, R Garner
Venue:Theoretical Computer Science