A few constructions on constructors (0)

by Conor McBride, Healfdene Goguen, James McKinna
Venue:In Filliâtre et al