Categories and Effective Computations (1987)

by G Rosolini
Venue:Category theory and Computer Science, volume 283 of Lectures Notes in Computer Science