01165cam a2200277 a 4500991001014129707536020422s2002 be b 001 0 fre 904291176Xb12704714-39ule_instDip.to Studi Storiciita472.2Thomas, Jean-Franðcois,1962-483441Gloria et laus :ètude sèmantique /Jean-François ThomasLouvain [Belgium] ;Dudley, Mass. :Editions Peeters,2002460 p. ;24 cmBibliotháeque d'ètudes classiques ;31Gloria(Parola latina)TerminologiaLingua LatinaStudi semanticiLaus (Parola latina)Terminologia.b1270471402-04-1423-03-04991001014129707536LE007 470 THO 01.0112007000083369le007-E0.00-l- 00000.i1388528529-09-04LE023 472.2 THO 1 112023000064580le023ordine Prof. Bianco-E104.00-nm 00000.i1322624129-03-04Gloria et laus269406UNISALENTOle007le02323-03-04ma -frebe 0201438nam0 22003493i 450 UBO006845920251003044418.0026201125520080212d1991 ||||0itac50 baengusz01i xxxe z01nz01ncRDAcarrierCategories, types and structuresan introduction to category theory for the working computer scientistAndrea Asperti, Giuseppe LongoCambridge (Mass.)LondonThe MIT Press©1991XI, 306 p.24 cmFoundations of computing seriesBibliografia: P. [289]-299.001UFI01221142001 Foundations of computing seriesElaboratori elettroniciProgrammazioneLinguaggiFIRCFIC011611I005.13LINGUAGGI DI PROGRAMMAZIONE14005.13Specifici linguaggi di programmazione22Asperti, AndreaUBOV04801607053304Longo, Giuseppe <omonimi non identificati>TSAV27460307042264ITIT-00000020080212IT-BN0095 UBO0068459Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 005.13 ASP.ca 0102 0000008605 VMA A4 1 v.Y 1994041319940413 01Categories, types and structures1575500UNISANNIO