Categories, types and structures : an introduction to category theory for the working computer scientist /

Bibliographic Details
Main Author: Asperti, Andrea, 1961-
Other Authors: Longo, Giuseppe, 1941-
Format: Book
Language:English
Published: Cambridge, Mass. : MIT, 1991.
Series:Foundations of computing
Subjects:

MARC

LEADER 00000nam a22000007a 4500
003 AR_CdUFM
005 20170710140845.0
008 110630s1991 enk||||| |||| 00| 0 eng d
020 |a 0262011255 
040 |a AR_CdUFM  |c AR_CdUFM 
100 1 |9 710  |a Asperti, Andrea,  |d 1961- 
245 1 0 |a Categories, types and structures :   |b an introduction to category theory for the working computer scientist /   |c Andrea Asperti, Giuseppe Longo. 
260 |a Cambridge, Mass. :   |b MIT,   |c 1991. 
300 |a xi, 306 p. :  |b il. ;  |c 24 cm. 
490 0 |a Foundations of computing 
650 4 |a Lógica matemática. 
650 4 |a Lenguajes formales. 
650 4 |a Mathematical logic. 
650 4 |a Formal languages. 
700 1 |9 10340  |a Longo, Giuseppe,  |d 1941- 
942 |c LIBRO  |2   
945 |a MCR  |d 2011-06-30 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F4_A839  |7 0  |9 7546  |a MMA  |b MMA  |c 4  |d 2008-06-09  |e FOMEC/Comp.  |l 6  |o C F4 A839   |p 14484  |r 2023-01-24 00:00:00  |s 2011-11-07  |w 2008-06-09  |y LIBRO 
999 |c 5717  |d 5717