Wil dekkers (16 resultados)
Lambda Calculus With Types
Barendregt, Henk; Dekkers, Wil; Statman, Richard; Alessi, Fabio (CON); Bezem, Marc (CON)
Idioma: Inglés
Editorial: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 de 17. Libro 3 de 17 - Perspectives in Logic
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 109,38
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 de 17. Libro 3 de 17 - Perspectives in Logic
- Tapa dura
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 111,77
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 de 17. Libro 3 de 17 - Perspectives in Logic
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 111,21
Envío por EUR 14,10Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Lambda Calculus With Types
Barendregt, Henk; Dekkers, Wil; Statman, Richard; Alessi, Fabio (CON); Bezem, Marc (CON)
Idioma: Inglés
Editorial: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 de 17. Libro 3 de 17 - Perspectives in Logic
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 111,20
Envío por EUR 17,65Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Cambridge University Press, GB, 2013
Serie: Perspectives in Logic, Libro 3 de 17. Libro 3 de 17 - Perspectives in Logic
- Tapa dura
Librería: Rarewaves.com USA, London, LONDO, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 156,57
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Hardback. Condición: New. This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first…author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs. In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. It is in these three formalisms of terms and types that the unexpected mathematical beauty is revealed. The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types.
Idioma: Inglés
Editorial: Cambridge Univ Pr, 2013
Serie: Perspectives in Logic, Libro 3 de 17. Libro 3 de 17 - Perspectives in Logic
- Tapa dura
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 159,46
Envío por EUR 23,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Hardcover. Condición: Brand New. 700 pages. 9.84x7.09x1.97 inches. In Stock.
Idioma: Inglés
Editorial: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 de 17. Libro 3 de 17 - Perspectives in Logic
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 129,65
Envío por EUR 68,14Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version…is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs. In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. It is in these three formalisms of terms and types that the unexpected mathematical beauty is revealed. The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types.
Idioma: Inglés
Editorial: Cambridge University Press, GB, 2013
Serie: Perspectives in Logic, Libro 3 de 17. Libro 3 de 17 - Perspectives in Logic
- Tapa dura
Librería: Rarewaves.com UK, London, Reino UnidoRarewaves.com UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 147,22
Envío por EUR 76,48Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Hardback. Condición: New. This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first…author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs. In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. It is in these three formalisms of terms and types that the unexpected mathematical beauty is revealed. The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types.
Lambda Calculus With Types
Barendregt, Henk; Dekkers, Wil; Statman, Richard; Alessi, Fabio (CON); Bezem, Marc (CON)
Idioma: Inglés
Editorial: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 de 17. Libro 3 de 17 - Perspectives in Logic
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 232,66
Envío por EUR 17,65Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 de 17. Libro 3 de 17 - Perspectives in Logic
- Tapa dura
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 222,98
Envío por EUR 29,41Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Lambda Calculus With Types
Barendregt, Henk; Dekkers, Wil; Statman, Richard; Alessi, Fabio (CON); Bezem, Marc (CON)
Idioma: Inglés
Editorial: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 de 17. Libro 3 de 17 - Perspectives in Logic
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 257,70
Envío por EUR 2,31Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 de 17. Libro 3 de 17 - Perspectives in Logic
- Tapa dura
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 119,33
Envío por EUR 7,65Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. xxii + 833 52 Illus.
Idioma: Inglés
Editorial: Cambridge University Press CUP, 2013
Serie: Perspectives in Logic, Libro 3 de 17. Libro 3 de 17 - Perspectives in Logic
- Tapa dura
- Impresión bajo demanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 127,63
Envío por EUR 3,49Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. xxii + 833.
Idioma: Inglés
Editorial: Cambridge University Press, 2013
Serie: Perspectives in Logic, Libro 3 de 17. Libro 3 de 17 - Perspectives in Logic
- Tapa dura
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 120,07
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. xxii + 833.
Idioma: Inglés
Editorial: Cambridge Univ Pr, 2013
Serie: Perspectives in Logic, Libro 3 de 17. Libro 3 de 17 - Perspectives in Logic
- Tapa dura
- Impresión bajo demanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 116,80
Envío por EUR 23,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Brand New. 700 pages. 9.84x7.09x1.97 inches. In Stock. This item is printed on demand.
Idioma: Inglés
Editorial: Cambridge University Press, 2014
Serie: Perspectives in Logic, Libro 3 de 17. Libro 3 de 17 - Perspectives in Logic
- Tapa dura
- Impresión bajo demanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 114,13
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Typed lambda calculus is used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), which are used to design and verify IT products and mathematical proofs. This book reveals unexpected… mathematical beauty in three classes of.
