David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne, David E. Rydeheard

Category Theory and Computer Science - 1991 - Springer Berlin Heidelberg 1991 - Lecture Notes in Computer Science .

9783540384137


Computer Science