Lecture Notes on the Lambda Calculus - Hardcover

Selinger, Peter

 
9780359158850: Lecture Notes on the Lambda Calculus
Hardcover
ISBN 10: 0359158854 ISBN 13: 9780359158850
Verlag: Lulu.com, 2018

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Lulu.com
Erscheinungsdatum
2018
Sprache
Englisch
ISBN 10 
0359158854
ISBN 13 
9780359158850
Einband
Tapa dura
Anzahl der Seiten
108
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
HACHETTE LIVRE SA
https://www.hachette.fr/

1 AVENUE GUTENBERG
MAUREPAS CEDEX
78319
Frankreich

Weitere beliebte Ausgaben desselben Titels

9781505206036: Lecture Notes on the Lambda Calculus

Vorgestellte Ausgabe

ISBN 10:  1505206030 ISBN 13:  9781505206036
Verlag: CreateSpace Independent Publishi..., 2014
Softcover