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.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Lecture Notes on the Lambda Calculus
Imagen de archivo
Lecture Notes on the Lambda Calculus
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Feb2215580135144
Comprar nuevo
EUR 24,91
Gastos de envío:
EUR 3,44
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Lecture Notes on the Lambda Calculus
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 34558536-n
Comprar nuevo
EUR 26,10
Gastos de envío:
EUR 2,28
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Lecture Notes on the Lambda Calculus
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9780359158850
Comprar nuevo
EUR 22,15
Gastos de envío:
EUR 7,75
A Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Lecture Notes on the Lambda Calculus
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 34558536
Comprar usado
EUR 28,63
Gastos de envío:
EUR 2,28
A Estados Unidos de America
Cantidad disponible: Más de 20 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
Comprar nuevo
EUR 34,94
Gastos de envío:
GRATIS
A Estados Unidos de America
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
Comprar nuevo
EUR 38,69
Gastos de envío:
GRATIS
A Estados Unidos de America
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
Comprar nuevo
EUR 40,41
Gastos de envío:
GRATIS
De Reino Unido a Estados Unidos de America
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
Comprar nuevo
EUR 36,35
Gastos de envío:
EUR 4,72
De Reino Unido a Estados Unidos de America
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
Comprar nuevo
EUR 36,63
Gastos de envío:
EUR 13,60
De Reino Unido a Estados Unidos de America
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
Comprar nuevo
EUR 35,33
Gastos de envío:
EUR 15,81
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles