Category theory and computer science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings /

Bibliographic Details
Corporate Authors:	SpringerLink (Online service), Biennial Conference on Category Theory and Computer Science
Other Authors:	Pitt, David (David H.), Rydeheard, D. E. (David E.), Johnstone, P. T.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1995]
Series:	Lecture notes in computer science ; 953.
Subjects:	Computer programming > Congresses. Categories (Mathematics) > Congresses. lambda calcul. théorie démonstration. théorie domaine. logique programme. logique mathématique. théorie catégorie. Categories (Mathematics) Computer programming. Categorieën (wiskunde) Computers. Analyse informatique. Catégories (Mathématiques) Informatik. Kategorientheorie. Kongre€. Electronic books. Conference proceedings. Cambridge (1995)
Online Access:	Connect to the full text of this electronic book

Remote Storage