Category Theory and Computer Science [electronic resource] : Manchester, UK, September 5–8, 1989 Proceedings / Category Theory and Computer Science [electronic resource] : Manchester, UK, September 5–8, 1989 Proceedings /

by Pitt, David H. editor., Rydeheard, David E. editor., Dybjer, Peter. editor., Pitts, Andrew M. editor., Poigné, Axel. editor., SpringerLink (Online service)
Published 1989

Category Theory and Computer Science [electronic resource] : Manchester, UK, September 5–8, 1989 Proceedings / Category Theory and Computer Science [electronic resource] : Manchester, UK, September 5–8, 1989 Proceedings /

by Pitt, David H. editor., Rydeheard, David E. editor., Dybjer, Peter. editor., Pitts, Andrew M. editor., Poigné, Axel. editor., SpringerLink (Online service)
Published 1989

Category Theory and Computer Science [electronic resource] : Paris, France, September 3–6, 1991 Proceedings / Category Theory and Computer Science [electronic resource] : Paris, France, September 3–6, 1991 Proceedings /

by Pitt, David H. editor., Curien, Pierre-Louis. editor., Abramsky, Samson. editor., Pitts, Andrew M. editor., Poigné, Axel. editor., Rydeheard, David E. editor., SpringerLink (Online service)
Published 1991