Calculate categorically! Formal Aspects of Computing, 4(4):673– 692 (1992)

by M M Fokkinga
Venue:University of Twente