Articoli correlati a Category Theory and Computer Science: Manchester, UK,...
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings: 389 - Brossura
This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti:
Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective.- An algebraic view of interleaving and distributed operational semantics for CCS.- Temporal structures.- Compositional relational semantics for indeterminate dataflow networks.- Operations on records.- Projections for polymorphic strictness analysis.- A category-theoretic account of program modules.- A note on categorical datatypes.- A set constructor for inductive sets in Martin-Löf's type theory.- Independence results for calculi of dependent types.- Quantitative domains, groupoids and linear logic.- Graded multicategories of polynomial-time realizers.- On the semantics of second order lambda calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa.- Dictoses.- Declarative continuations: An investigation of duality in programming language semantics.- Logic representation in LF.- Unification properties of commutative theories: A categorical treatment.- An abstract formulation for rewrite systems.- From petri nets to linear logic.- A dialectica-like model of linear logic.- A final coalgebra theorem.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2008
- ISBN 10 354051662X
- ISBN 13 9783540516620
- RilegaturaCopertina flessibile
- Numero di pagine380
Compra nuovo
Scopri di più su questo articolo
EUR 53,01
Spese di spedizione:
GRATIS
In U.S.A.
I migliori risultati di ricerca su AbeBooks
Immagini fornite dal venditore
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science (389)) by Dybjer, Peter, Pitts, Andrew M., Poigne, Axel, Rydeheard, David E., Pitt, David H. [Paperback ]
Da:
Valutazione libreria
Descrizione libro Soft Cover. Condizione: new. Codice articolo 9783540516620
Compra nuovo
EUR 53,01
Convertire valuta
Foto dell'editore
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science, 389)
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo ABLIING23Mar3113020168955
Compra nuovo
EUR 56,30
Convertire valuta
Immagini fornite dal venditore
Category Theory and Computer Science : Manchester, Uk, September 5-8, 1989. Proceedings
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo 5906460-n
Compra nuovo
EUR 57,57
Convertire valuta
Foto dell'editore
Category Theory and Computer Science : Manchester; UK; September 5-8; 1989. Proceedings
Print on Demand
Da:
Valutazione libreria
Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9783540516620_lsuk
Compra nuovo
EUR 53,16
Convertire valuta
Foto dell'editore
Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings
Da:
Valutazione libreria
Descrizione libro PF. Condizione: New. Codice articolo 6666-IUK-9783540516620
Compra nuovo
EUR 49,59
Convertire valuta
Immagini fornite dal venditore
Category Theory and Computer Science
Editore:
Springer Berlin Heidelberg Aug 1989
(1989)
ISBN 10: 354051662X
ISBN 13: 9783540516620
Nuovo
Taschenbuch
Quantità: 2
Da:
Valutazione libreria
Descrizione libro Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory. 376 pp. Englisch. Codice articolo 9783540516620
Compra nuovo
EUR 50,28
Convertire valuta
Foto dell'editore
Category Theory and Computer Science
Editore:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
(1989)
ISBN 10: 354051662X
ISBN 13: 9783540516620
Nuovo
Brossura
Quantità: 15
Da:
Valutazione libreria
Descrizione libro Condizione: New. Editor(s): Pitt, David H.; Rydeheard, D. E.; Dybjer, Peter; Pitts, Andrew M.; Poigne, Axel. Series: Lecture Notes in Computer Science. Num Pages: 380 pages, biography. BIC Classification: UL. Category: (G) General (US: Trade); (P) Professional & Scholarly; (UP) Postgraduate. Dimension: 250 x 156 x 19. Weight in Grams: 1160. . 1989. 1989th Edition. paperback. . . . . Codice articolo V9783540516620
Compra nuovo
EUR 78,42
Convertire valuta
Immagini fornite dal venditore
Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings
Editore:
Springer Berlin Heidelberg
(1989)
ISBN 10: 354051662X
ISBN 13: 9783540516620
Nuovo
Taschenbuch
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory. Codice articolo 9783540516620
Compra nuovo
EUR 56,25
Convertire valuta
Immagini fornite dal venditore
Category Theory and Computer Science : Manchester, Uk, September 5-8, 1989. Proceedings
Da:
Valutazione libreria
Descrizione libro Condizione: New. Codice articolo 5906460-n
Compra nuovo
EUR 74,08
Convertire valuta
Immagini fornite dal venditore
Category Theory and Computer Science
Editore:
Springer Berlin Heidelberg
(1989)
ISBN 10: 354051662X
ISBN 13: 9783540516620
Nuovo
Brossura
Quantità: > 20
Da:
Valutazione libreria
Descrizione libro Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective.- An algebraic view of interleaving and distributed operational semantics for CCS.- Temporal structures.- Compositional . Codice articolo 4892070
Compra nuovo
EUR 45,74
Convertire valuta