Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R500 - R1,000 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Lecture Notes on the Lambda Calculus (Hardcover): Peter Selinger Lecture Notes on the Lambda Calculus (Hardcover)
Peter Selinger
R702 Discovery Miles 7 020
Add to cart
Ships in 18 - 22 working days

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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Information Systems Engineering - From Data Analysis to Process Networks (Hardcover): Paul Johannesson, Eva Soderstrom
Information Systems Engineering - From…
Paul Johannesson, Eva Soderstrom Hardcover R2,631 Discovery Miles 26 310
Progress in Turbulence VIII - Proceedings of the iTi Conference in Turbulence 2018 (Hardcover, 1st ed. 2019): Ramis Oerlu,...
Progress in Turbulence VIII…
Ramis Oerlu, Alessandro Talamelli, … Hardcover R4,057 Discovery Miles 40 570
Big Data for Remote Sensing: Visualization, Analysis and Interpretation - Digital Earth and Smart Earth (Hardcover, 1st ed....
Big Data for Remote Sensing…
Nilanjan Dey, Chintan Bhatt, … Hardcover R4,011 Discovery Miles 40 110
Casio Square Wall Clock (Black):
Casio Square Wall Clock (Black)
R649 R500 Discovery Miles 5 000
Iron In The Soul - The Leaders Of The Official Parliamentary Opposition In South Africa, 1910-1993 (Paperback): F. A. Mouton
Iron In The Soul - The Leaders Of The…
F. A. Mouton Paperback  (1)
 R108 Discovery Miles 1 080
Décor Depot 25 mm Steel Curtain Rod End Cap (Finial Mesh Ball)(Brushed Silver):
Décor Depot 25 mm Steel Curtain Rod End…
R156 Discovery Miles 1 560
Rebels And Rage - Reflecting On #FeesMustFall (Paperback): Adam Habib
Rebels And Rage - Reflecting On…
Adam Habib Paperback R294 Discovery Miles 2 940
Wicked Philadelphia - Sin in the City of Brotherly Love (Paperback): Thomas H Keels
Wicked Philadelphia - Sin in the City of…
Thomas H Keels Paperback R484 R448 Discovery Miles 4 480
Synthetic Biology - New Interdisciplinary Science (Hardcover): Madan L. Nagpal, Oana-Maria Boldura, Cornel Balta, Shymaa Enany
Synthetic Biology - New…
Madan L. Nagpal, Oana-Maria Boldura, … Hardcover R3,087 Discovery Miles 30 870
Aws - The Most Complete Guide to Learn Step by Step Amazon Web Service (Hardcover): Robert Campbell
Aws - The Most Complete Guide to Learn…
Robert Campbell Hardcover R783 R687 Discovery Miles 6 870

 
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners