David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew Pitts, Axel Poigne

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

9783540467403


Computer Science