The identity type weak factorisation system (0)

by Nicola Gambino, Richard Garner
Venue:Theoretical Computer Science 409 (2008), 94–109