Datatype Laws without Signatures (1996)

by M M Fokkinga
Venue:Math. Structures in Comp. Sci. 6