Datatype laws without signatures (1996)

by Maarten M Fokkinga
Venue:Mathematical Structures in Computer Science