An Introduction to Lambda Calculi for Computer Scientists (Texts in Computing)

4,1 valoración promedio
( 10 valoraciones por GoodReads )
 
9780954300654: An Introduction to Lambda Calculi for Computer Scientists (Texts in Computing)
Reseña del editor:

The lambda-calculus lies at the very foundations of computer science. Besides its historical role in computability theory it has had significant influence on programming language design and implementation, denotational semantics, and domain theory. The book emphasises the proof theory for the type-free lambda-calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability, and the relationship between the lambda-calculus and combinatory logic. Chapter 7 presents a variety of typed calculi; first the simply typed lambda-calculus, then Milner-style polymorphism and, finally, the polymorphic lambda-calculus. Chapter 8 concerns two variants of the type-free lambda-calculus that have appeared in the research literature: the lazy lambda-calculus, and the lambda sigma-calculus. The final chapter contains references and a guide to further reading. There are exercises throughout. In contrast to earlier books on these topics, which were written by logicians, this book is written from a computer science perspective and emphasises the practical relevance of many of the key theoretical ideas. The book is intended as a course text for final year undergraduates or first year graduate students in computer science. Research students should find it a useful introduction to more specialist literature.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar nuevo Ver libro

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

Chris Hankin
Editorial: Kings College Publications, United Kingdom (2004)
ISBN 10: 0954300653 ISBN 13: 9780954300654
Nuevos Paperback Cantidad: 10
Impresión bajo demanda
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción Kings College Publications, United Kingdom, 2004. Paperback. Estado de conservación: New. 224 x 150 mm. Language: English . Brand New Book ***** Print on Demand *****.The lambda-calculus lies at the very foundations of computer science. Besides its historical role in computability theory it has had significant influence on programming language design and implementation, denotational semantics, and domain theory. The book emphasises the proof theory for the type-free lambda-calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability, and the relationship between the lambda-calculus and combinatory logic. Chapter 7 presents a variety of typed calculi; first the simply typed lambda-calculus, then Milner-style polymorphism and, finally, the polymorphic lambda-calculus. Chapter 8 concerns two variants of the type-free lambda-calculus that have appeared in the research literature: the lazy lambda-calculus, and the lambda sigma-calculus. The final chapter contains references and a guide to further reading. There are exercises throughout. In contrast to earlier books on these topics, which were written by logicians, this book is written from a computer science perspective and emphasises the practical relevance of many of the key theoretical ideas. The book is intended as a course text for final year undergraduates or first year graduate students in computer science. Research students should find it a useful introduction to more specialist literature. Nº de ref. de la librería AAV9780954300654

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 13,66
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Hankin, C.
Editorial: College Publications 2004-02 (2004)
ISBN 10: 0954300653 ISBN 13: 9780954300654
Nuevos Cantidad: 5
Impresión bajo demanda
Librería
Chiron Media
(Wallingford, Reino Unido)
Valoración
[?]

Descripción College Publications 2004-02, 2004. Estado de conservación: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Nº de ref. de la librería NU-LSI-06898401

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 10,95
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,45
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Chris Hankin
Editorial: Kings College Publications, United Kingdom (2004)
ISBN 10: 0954300653 ISBN 13: 9780954300654
Nuevos Paperback Cantidad: 10
Impresión bajo demanda
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción Kings College Publications, United Kingdom, 2004. Paperback. Estado de conservación: New. 224 x 150 mm. Language: English . Brand New Book ***** Print on Demand *****. The lambda-calculus lies at the very foundations of computer science. Besides its historical role in computability theory it has had significant influence on programming language design and implementation, denotational semantics, and domain theory. The book emphasises the proof theory for the type-free lambda-calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability, and the relationship between the lambda-calculus and combinatory logic. Chapter 7 presents a variety of typed calculi; first the simply typed lambda-calculus, then Milner-style polymorphism and, finally, the polymorphic lambda-calculus. Chapter 8 concerns two variants of the type-free lambda-calculus that have appeared in the research literature: the lazy lambda-calculus, and the lambda sigma-calculus. The final chapter contains references and a guide to further reading. There are exercises throughout. In contrast to earlier books on these topics, which were written by logicians, this book is written from a computer science perspective and emphasises the practical relevance of many of the key theoretical ideas. The book is intended as a course text for final year undergraduates or first year graduate students in computer science. Research students should find it a useful introduction to more specialist literature. Nº de ref. de la librería AAV9780954300654

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 14,83
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Hankin, C.
Editorial: College Publications (2016)
ISBN 10: 0954300653 ISBN 13: 9780954300654
Nuevos Paperback Cantidad: 1
Impresión bajo demanda
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
[?]

Descripción College Publications, 2016. Paperback. Estado de conservación: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Nº de ref. de la librería ria9780954300654_lsuk

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 13,33
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,86
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Chris Hankin
Editorial: Kings College Publications (2004)
ISBN 10: 0954300653 ISBN 13: 9780954300654
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
PBShop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Kings College Publications, 2004. PAP. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería IQ-9780954300654

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 16,27
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,69
A Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Chris Hankin
Editorial: Kings College Publications (2004)
ISBN 10: 0954300653 ISBN 13: 9780954300654
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Kings College Publications, 2004. PAP. Estado de conservación: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería LQ-9780954300654

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 10,35
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,40
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Hankin, C.
Editorial: College Publications (2004)
ISBN 10: 0954300653 ISBN 13: 9780954300654
Nuevos Paperback Cantidad: 1
Librería
Irish Booksellers
(Rumford, ME, Estados Unidos de America)
Valoración
[?]

Descripción College Publications, 2004. Paperback. Estado de conservación: New. book. Nº de ref. de la librería 0954300653

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 22,96
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Hankin, C.
Editorial: College Publications (2017)
ISBN 10: 0954300653 ISBN 13: 9780954300654
Nuevos Paperback Cantidad: 20
Impresión bajo demanda
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción College Publications, 2017. Paperback. Estado de conservación: New. This item is printed on demand. Nº de ref. de la librería 0954300653

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 21,38
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,77
A Estados Unidos de America
Destinos, gastos y plazos de envío

9.

C Hankin
Editorial: College Publications
ISBN 10: 0954300653 ISBN 13: 9780954300654
Nuevos Paperback Cantidad: 20
Librería
BuySomeBooks
(Las Vegas, NV, Estados Unidos de America)
Valoración
[?]

Descripción College Publications. Paperback. Estado de conservación: New. Paperback. 180 pages. Dimensions: 8.8in. x 5.9in. x 0.5in.The lambda-calculus lies at the very foundations of computer science. Besides its historical role in computability theory it has had significant influence on programming language design and implementation, denotational semantics, and domain theory. The book emphasises the proof theory for the type-free lambda-calculus. The first six chapters concern this calculus and cover the basic theory, reduction, models, computability, and the relationship between the lambda-calculus and combinatory logic. Chapter 7 presents a variety of typed calculi; first the simply typed lambda-calculus, then Milner-style polymorphism and, finally, the polymorphic lambda-calculus. Chapter 8 concerns two variants of the type-free lambda-calculus that have appeared in the research literature: the lazy lambda-calculus, and the lambda sigma-calculus. The final chapter contains references and a guide to further reading. There are exercises throughout. In contrast to earlier books on these topics, which were written by logicians, this book is written from a computer science perspective and emphasises the practical relevance of many of the key theoretical ideas. The book is intended as a course text for final year undergraduates or first year graduate students in computer science. Research students should find it a useful introduction to more specialist literature. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Nº de ref. de la librería 9780954300654

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 20,54
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,66
A Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Hankin, C
Editorial: College Publications (2004)
ISBN 10: 0954300653 ISBN 13: 9780954300654
Nuevos Paperback Cantidad: 10
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción College Publications, 2004. Paperback. Estado de conservación: New. Nº de ref. de la librería INGM9780954300654

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 22,16
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,69
A Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda