Lecture Notes on the Lambda Calculus | Buch

Cover: 9780359158850 | Lecture Notes on the Lambda Calculus | Peter Selinger | Buch | 2018

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

35,20 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

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.

Details

Erscheinungsjahr:	2018
Genre:	Importe , Technik allg.
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
ISBN-13:	9780359158850
ISBN-10:	0359158854
Sprache:	Englisch
Ausstattung / Beilage:	HC gerader Rücken kaschiert
Einband:	Gebunden
Autor:	Selinger, Peter
Hersteller:	Lulu.com
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	235 x 157 x 11 mm
Von/Mit:	Peter Selinger
Erscheinungsdatum:	15.10.2018
Gewicht:	0,319 kg

Artikel-ID: 114923234

Details

Erscheinungsjahr:	2018
Genre:	Importe , Technik allg.
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
ISBN-13:	9780359158850
ISBN-10:	0359158854
Sprache:	Englisch
Ausstattung / Beilage:	HC gerader Rücken kaschiert
Einband:	Gebunden
Autor:	Selinger, Peter
Hersteller:	Lulu.com
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	235 x 157 x 11 mm
Von/Mit:	Peter Selinger
Erscheinungsdatum:	15.10.2018
Gewicht:	0,319 kg