editors. Category Theory and Computer Science, volume 240 of Lect (1986)

by D Pitt, A Abramsky, A Poigné, D Rydeheard
Venue:Utrecht University, University of Nijmegen