Artículos relacionados a Lecture Notes on the Lambda Calculus
Sinopsis
This is a set of lecture notes that developed out of courses on the lambda calculus that the author taught at the University of Ottawa in 2001 and at Dalhousie University in 2007 and 2013. Topics covered in these notes include the untyped lambda calculus, the Church-Rosser theorem, combinatory algebras, the simply-typed lambda calculus, the Curry-Howard isomorphism, weak and strong normalization, polymorphism, type inference, denotational semantics, complete partial orders, and the language PCF.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This is a set of lecture notes that developed out of courses on the lambda calculus that the author taught at the University of Ottawa in 2001 and at Dalhousie University in 2007 and 2013. Topics covered in these notes include the untyped lambda calculus, the Church-Rosser theorem, combinatory algebras, the simply-typed lambda calculus, the Curry-Howard isomorphism, weak and strong normalization, polymorphism, type inference, denotational semantics, complete partial orders, and the language PCF.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 19,40
EUR 16,90 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 29,23
EUR 6,88 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Lecture Notes on the Lambda Calculus
Imagen de archivo
Lecture Notes on the Lambda Calculus
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9780359158850
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Lecture Notes on the Lambda Calculus
Publicado por
Lulu Press, Inc., 2018
ISBN 10: 0359158854
ISBN 13: 9780359158850
Antiguo o usado
Tapa dura
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Used book that is in clean, average condition without any missing pages. Nº de ref. del artículo: 51715295-6
Cantidad disponible: 1 disponibles
Imagen del vendedor
Lecture Notes on the Lambda Calculus
Librería: Rarewaves USA, OSWEGO, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. Nº de ref. del artículo: LU-9780359158850
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Lecture Notes on the Lambda Calculus
Librería: Rarewaves.com UK, London, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. Nº de ref. del artículo: LU-9780359158850
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Lecture Notes on the Lambda Calculus
Librería: Rarewaves USA United, OSWEGO, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. Nº de ref. del artículo: LU-9780359158850
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Lecture Notes on the Lambda Calculus
Impresión bajo demandaLibrería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
HRD. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L1-9780359158850
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Lecture Notes on the Lambda Calculus
Impresión bajo demandaLibrería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
HRD. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L1-9780359158850
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Lecture Notes on the Lambda Calculus
Impresión bajo demandaLibrería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 318. Nº de ref. del artículo: C9780359158850
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Lecture Notes on the Lambda Calculus
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780359158850_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Lecture Notes on the Lambda Calculus
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. Nº de ref. del artículo: LU-9780359158850
Cantidad disponible: Más de 20 disponibles