A Few Constructions on Constructors

Lecture Notes in Computer Science - Types for Proofs and Programs ◽

10.1007/11617990_12 ◽

2006 ◽

pp. 186-200 ◽

Cited By ~ 11

Author(s):

Conor McBride ◽

Healfdene Goguen ◽

James McKinna

Download Full-text