A few constructions on constructors (2005)

by Conor Mcbride , Healfdene Goguen , James Mckinna
Venue:Types for Proofs and Programs
Citations:7 - 5 self