Importe total (1 artículo artículos):
Destino del pedido:
categorical combinators sequential algorithms (36 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (36)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (27)
- Como nuevo, Excelente o Muy bueno (6)
- Bueno o Aceptable (2)
- Regular o Pobre (1)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
Más atributos
- Primera edición (1)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (13)
- No impresión bajo demanda (29)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Categorical Combinators, Sequential Algorithms, and Functional Programming
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 3,00
Convertir monedaEUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 1993. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1993. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Categorical Combinators, Sequential Algorithms and Functional Programming (Research Notes in Theoretical Computer Science)
Publicado por Financial Times Prentice Hall (a Pearson Education company), 1986
ISBN 10: 0273087223 ISBN 13: 9780273087229
Idioma: Inglés
Librería: Phatpocket Limited, Waltham Abbey, HERTS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 7,05
Convertir monedaEUR 4,53 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Acceptable. Used - Acceptable. Front cover damaged. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library with wear and barcode page may have been removed. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
-
Categorical Combinators, Sequential Algorithms and Functional Programming
Publicado por Financial Times Prentice Hall, 1986
ISBN 10: 0273087223 ISBN 13: 9780273087229
Idioma: Inglés
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 6,90
Convertir monedaEUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Très bon. Ancien livre de bibliothèque. Traces de pliures sur la couverture. Traces d'usure sur la couverture. Salissures sur la tranche. Couverture différente. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Traces of creases on the cover. Signs of wear on the cover. Stains on the edge. Different cover. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Categorical Combinators, Sequential Algorithms and Functional Programming
Publicado por Financial Times Prentice Hall, 1986
ISBN 10: 0273087223 ISBN 13: 9780273087229
Idioma: Inglés
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
EUR 9,90
Convertir monedaEUR 6,00 gastos de envío desde Francia a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover. Condición: Très bon. Ancien livre de bibliothèque. Couverture différente. Edition 1986. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Different cover. Edition 1986. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Categorical Combinators, Sequential Algorithms, and Functional Programming
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 50,01
Convertir monedaEUR 10,21 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 428 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
-
Categorical Combinators, Sequential Algorithms, and Functional Programming
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 50,54
Convertir monedaEUR 9,81 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 428 2.
-
Categorical Combinators, Sequential Algorithms, and Functional (Progress in Theoretical Computer Science)
Publicado por Birkhäuser, Boston, Basel & Berlin, 1993
ISBN 10: 1850709386 ISBN 13: 9781850709381
Librería: Literary Cat Books, Machynlleth, Powys, WALES, Reino Unido
Miembro de asociación: IOBA
Calificación del vendedor: 4 de 5 estrellas
Original o primera edición
EUR 39,92
Convertir monedaEUR 13,84 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoOriginal boards. Condición: New. First Edition; First Impression. Light shelfwear. ; Octavo; xx, 404 pages.
-
Categorical Combinators, Sequential Algorithms, and Functional Programming
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 51,57
Convertir monedaEUR 14,50 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. pp. 428.
-
Categorical Combinators, Sequential Algorithms and Functional Programming (Research Notes in Theoretical Computer Science)
Publicado por Financial Times Prentice Hall, 1986
ISBN 10: 0273087223 ISBN 13: 9780273087229
Idioma: Inglés
Librería: Recycle Bookstore, San Jose, CA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 30,75
Convertir monedaEUR 50,32 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Good. Bottom of spine has library call number taped at bottom of spine (perhaps a library sticker but there are no other library markings), moderate wear and curling to corners, some moderate overall rubbing. otherwise and presentable and solid copy.
-
Categorical Combinators, Sequential Algorithms, and Functional Programming
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 95,93
Convertir monedaGratis gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science)
Librería: ALLBOOKS1, Direk, SA, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 104,70
Convertir monedaGratis gastos de envío desde Australia a EspañaCantidad disponible: 1 disponibles
Añadir al carrito -
Categorical Combinators, Sequential Algorithms, and Functional Programming
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 92,27
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Categorical Combinators, Sequential Algorithms, and Functional Programming
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 92,27
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoGebunden. Condición: New.
-
Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 115,99
Convertir monedaEUR 5,18 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 115,99
Convertir monedaEUR 5,18 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Categorical Combinators, Sequential Algorithms, and Functional Programming
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 103,88
Convertir monedaEUR 17,05 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Categorical Combinators, Sequential Algorithms, and Functional Programming
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 95,93
Convertir monedaEUR 25,59 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Categorical Combinators, Sequential Algorithms, and Functional Programming
Publicado por Birkhäuser Boston, Birkhäuser Boston, 2012
ISBN 10: 1461267048 ISBN 13: 9781461267041
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 114,36
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit man, in 1986. In addition to a general effort to improve typography, English, and presentation, the main novelty of this second edition is the integration of some new material. Part of it is mine (mostly jointly with coauthors). Here is brief guide to these additions. I have augmented the account of categorical combinatory logic with a description of the confluence properties of rewriting systems of categor ical combinators (Hardin, Yokouchi), and of the newly developed cal culi of explicit substitutions (Abadi, Cardelli, Curien, Hardin, Levy, and Rios), which are similar in spirit to the categorical combinatory logic, but are closer to the syntax of A-calculus (Section 1.2). The study of the full abstraction problem for PCF and extensions of it has been enriched with a new full abstraction result: the model of sequential algorithms is fully abstract with respect to an extension of PCF with a control operator (Cartwright, Felleisen, Curien). An order extensional model of error-sensitive sequential algorithms is also fully abstract for a corresponding extension of PCF with a control operator and errors (Sections 2.6 and 4.1). I suggest that sequential algorithms lend themselves to a decomposition of the function spaces that leads to models of linear logic (Lamarche, Curien), and that connects sequentiality with games (Joyal, Blass, Abramsky) (Sections 2.1 and 2.6).
-
Categorical Combinators, Sequential Algorithms, and Functional Programming
Publicado por Birkhäuser Boston, Birkhäuser Boston, 1993
ISBN 10: 0817636544 ISBN 13: 9780817636548
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 114,36
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit man, in 1986. In addition to a general effort to improve typography, English, and presentation, the main novelty of this second edition is the integration of some new material. Part of it is mine (mostly jointly with coauthors). Here is brief guide to these additions. I have augmented the account of categorical combinatory logic with a description of the confluence properties of rewriting systems of categor ical combinators (Hardin, Yokouchi), and of the newly developed cal culi of explicit substitutions (Abadi, Cardelli, Curien, Hardin, Levy, and Rios), which are similar in spirit to the categorical combinatory logic, but are closer to the syntax of A-calculus (Section 1.2). The study of the full abstraction problem for PCF and extensions of it has been enriched with a new full abstraction result: the model of sequential algorithms is fully abstract with respect to an extension of PCF with a control operator (Cartwright, Felleisen, Curien). An order extensional model of error-sensitive sequential algorithms is also fully abstract for a corresponding extension of PCF with a control operator and errors (Sections 2.6 and 4.1). I suggest that sequential algorithms lend themselves to a decomposition of the function spaces that leads to models of linear logic (Lamarche, Curien), and that connects sequentiality with games (Joyal, Blass, Abramsky) (Sections 2.1 and 2.6).
-
Categorical Combinators, Sequential Algorithms, and Functional Programming
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 112,77
Convertir monedaEUR 17,29 gastos de envío desde Reino Unido a EspañaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
-
Categorical Combinators, Sequential Algorithms, and Functional Programming
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 115,97
Convertir monedaEUR 17,30 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Categorical Combinators, Sequential Algorithms, and Functional Programming
Publicado por Birkhäuser Boston, Birkhäuser Boston Jan 1993, 1993
ISBN 10: 0817636544 ISBN 13: 9780817636548
Idioma: Inglés
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 106,99
Convertir monedaEUR 35,00 gastos de envío desde Alemania a EspañaCantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. Neuware -This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit man, in 1986. In addition to a general effort to improve typography, English, and presentation, the main novelty of this second edition is the integration of some new material. Part of it is mine (mostly jointly with coauthors). Here is brief guide to these additions. I have augmented the account of categorical combinatory logic with a description of the confluence properties of rewriting systems of categor ical combinators (Hardin, Yokouchi), and of the newly developed cal culi of explicit substitutions (Abadi, Cardelli, Curien, Hardin, Levy, and Rios), which are similar in spirit to the categorical combinatory logic, but are closer to the syntax of A-calculus (Section 1.2). The study of the full abstraction problem for PCF and extensions of it has been enriched with a new full abstraction result: the model of sequential algorithms is fully abstract with respect to an extension of PCF with a control operator (Cartwright, Felleisen, Curien). An order extensional model of error-sensitive sequential algorithms is also fully abstract for a corresponding extension of PCF with a control operator and errors (Sections 2.6 and 4.1). I suggest that sequential algorithms lend themselves to a decomposition of the function spaces that leads to models of linear logic (Lamarche, Curien), and that connects sequentiality with games (Joyal, Blass, Abramsky) (Sections 2.1 and 2.6).Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 428 pp. Englisch.
-
Categorical Combinators, Sequential Algorithms, and Functional Programming
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 146,94
Convertir monedaEUR 9,81 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 428.
-
Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science)
Publicado por Birkhäuser, 1993
ISBN 10: 1850709386 ISBN 13: 9781850709381
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 8,88
Convertir monedaEUR 92,12 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
-
Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 102,70
Convertir monedaEUR 63,97 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 102,70
Convertir monedaEUR 63,97 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Categorical Combinators, Sequential Algorithms, and Functional Programming
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 160,38
Convertir monedaEUR 17,30 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 150,89
Convertir monedaEUR 28,84 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Like New. Like New. book.
-
Categorical Combinators, Sequential Algorithms, and Functional Programming
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 182,79
Convertir monedaEUR 17,05 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
-
Categorical Combinators, Sequential Algorithms, and Functional Programming
Publicado por Birkhäuser Boston Jan 1993, 1993
ISBN 10: 0817636544 ISBN 13: 9780817636548
Idioma: Inglés
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 106,99
Convertir monedaEUR 11,00 gastos de envío desde Alemania a EspañaCantidad disponible: 2 disponibles
Añadir al carritoBuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit man, in 1986. In addition to a general effort to improve typography, English, and presentation, the main novelty of this second edition is the integration of some new material. Part of it is mine (mostly jointly with coauthors). Here is brief guide to these additions. I have augmented the account of categorical combinatory logic with a description of the confluence properties of rewriting systems of categor ical combinators (Hardin, Yokouchi), and of the newly developed cal culi of explicit substitutions (Abadi, Cardelli, Curien, Hardin, Levy, and Rios), which are similar in spirit to the categorical combinatory logic, but are closer to the syntax of A-calculus (Section 1.2). The study of the full abstraction problem for PCF and extensions of it has been enriched with a new full abstraction result: the model of sequential algorithms is fully abstract with respect to an extension of PCF with a control operator (Cartwright, Felleisen, Curien). An order extensional model of error-sensitive sequential algorithms is also fully abstract for a corresponding extension of PCF with a control operator and errors (Sections 2.6 and 4.1). I suggest that sequential algorithms lend themselves to a decomposition of the function spaces that leads to models of linear logic (Lamarche, Curien), and that connects sequentiality with games (Joyal, Blass, Abramsky) (Sections 2.1 and 2.6). 428 pp. Englisch.
