A few constructions on constructors (2005)

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