Lambda-Calculus and Combinators: An Introduction - Hindley, J. Roger (University of Wales, Swansea) - Libros - Cambridge University Press - 9780521898850 - 24 de julio de 2008
En caso de que portada y título no coincidan, el título será el correcto

Hindley, J. Roger (University of Wales, Swansea)
Lambda-Calculus and Combinators: An Introduction 2 Revised edition

Precio
$ 110,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

This book gives an account of combinatory logic and lambda-calculus. The grammar and basic properties of both systems are discussed, followed by explanations of type-theory and lambda-calculus models. The treatment is as non-technical as possible with many examples and exercises.

358 pages, 10 b/w illus. 1 table 55 exercises

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 24 de julio de 2008
ISBN13 9780521898850
Editores Cambridge University Press
Páginas 358
Dimensiones 159 × 237 × 24 mm   ·   670 g
Lengua Inglés  

Mas por Hindley, J. Roger (University of Wales, Swansea)

Mostrar todo

Mere med samme udgiver

Ver todo de Hindley, J. Roger (University of Wales, Swansea) ( Ej. Hardcover Book y Paperback Book )