The Categorical Abstract (1987)

by G Cousineau, P-L Curien, M Mauny
Venue:Machine, Science of Computer Programming 8