Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings (Lecture Notes in Computer Science, 1290)

Editore

Springer

Data di pubblicazione

1997

Lingua

Inglese

ISBN 10

354063455X

ISBN 13

9783540634553

Rilegatura

Brossura

Condizione

New

Cataloghi dei venditori

Descrizione articolo

Riassunto

This book constitutes the refereed proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS'97, held in Santa Margheria Ligure, Italy, in September 1997.
Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.

Contenuti

An introduction to n-categories.- Allegories as a basis for algorithmics.- Separating shape from data.- A factorisation theorem in rewriting theory.- Monads and modular term rewriting.- A 2-categorical presentation of term graph rewriting.- Presheaf models for the ?-calculus.- Categorical modelling of structural operational rules case studies.- Specifying interaction categories.- Shedding new light in the world of logical systems.- Combining and representing logical systems.- A deciding algorithm for linear isomorphism of types with complexity O(nlog 2(n))..- Effectiveness of the global modulus of continuity on metric spaces.- Proof principles for datatypes with iterated recursion.- When Do Datatypes Commute?.- A calculus for collections and aggregates.- Lifting.- General synthetic domain theory — A logical approach (extended abstract).

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Quality books, speedy shipping, and great customer service! Please note that used items may not include access codes or cards, CD's or other accessories, regardless of what is stated in item title. If you need to guarantee that these items are included, please purchase a brand new copy.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

J2B Holdings, LLC
13770 NOEL RD, #803600, Dallas, TX, 75240, U.S.A.

Condizioni di vendita e spedizione

Condizioni di vendita

We guarantee the condition of every book as it's described on the AbeBooks web
sites. Please note that used items may not include access codes or cards, CD's
or other accessories, regardless of what is stated in item title. If you need to
guarantee that these items are included, please purchase a brand new copy.

All requests for refunds and/or returns will be processed in accordance with
AbeBooks policies. If you're dissatisfied with your purchase (Incorrect Book/Not
as Described/Damaged) or if ...

Ulteriori informazioni

Diritto di recesso

Condizioni di spedizione

Books ordered via expedited shipping should arrive between 2 and 7 business days after shipment confirmation. Books ordered via standard shipping should arrive between 4 and 14 business days after shipment confirmation.

Tariffe di spedizione da U.S.A. a Italia

Tariffe di spedizione da U.S.A. a Italia
Quantit� dell?ordine	Da 5 a 18 giorni lavorativi	Da 5 a 17 giorni lavorativi
Primo articolo	EUR 64.09	EUR 81.17

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.