Resolutions by polygraphs (0)

by F Métayer
Venue:Theory Appl. Categ