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

Your cart is empty

Books > Science & Mathematics > Science: general issues

Buy Now

Lecture Notes on the Lambda Calculus (Hardcover) Loot Price: R702
Discovery Miles 7 020
Repayment Terms: R66 pm x 12*
Add to cart
Lecture Notes on the Lambda Calculus (Hardcover): Peter Selinger

Lecture Notes on the Lambda Calculus (Hardcover)

Peter Selinger

 (sign in to rate)
Loot Price R702 Discovery Miles 7 020 | Repayment Terms: R66 pm x 12*

Bookmark and Share

Expected to ship within 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.

General

Imprint: Lulu.Com
Country of origin: United States
Release date: October 2018
Authors: Peter Selinger
Dimensions: 229 x 152 x 8mm (L x W x T)
Format: Hardcover - Sewn / Cloth over boards
Pages: 108
ISBN-13: 978-0-359-15885-0
Categories: Books > Science & Mathematics > Science: general issues > General
Promotions
LSN: 0-359-15885-4
Barcode: 9780359158850

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Vaxxers - The Inside Story Of The Oxford AstraZeneca Vaccine And The Race Against The Virus (Paperback): Sarah Gilbert,...
Vaxxers - The Inside Story Of The Oxford…
Sarah Gilbert, Catherine Green Paperback R122 Discovery Miles 1 220
Build - An Unorthodox Guide To Making Things Worth Making (Paperback): Tony Fadell
Build - An Unorthodox Guide To Making…
Tony Fadell Paperback  (2)
 R380 R351 Discovery Miles 3 510
Hoe Verklaar Jy Dit? (Afrikaans, Paperback): Danny Fourie
Hoe Verklaar Jy Dit?
Danny Fourie Paperback  (3)
 R294 Discovery Miles 2 940
Third Millennium Thinking - Creating Sense In A World Of Nonsense (Paperback): Saul Perlmutter, Robert Maccoun, John Campbell
Third Millennium Thinking - Creating…
Saul Perlmutter, Robert Maccoun, … Paperback R438 Discovery Miles 4 380
How Confidence Works - The New Science Of Self-Belief, Why Some People Learn It And Others Don't (Paperback): Ian Robertson
How Confidence Works - The New Science…
Ian Robertson Paperback R409 Discovery Miles 4 090
Wat Moet Ons Met Ons Kerk Doen? (Afrikaans, Paperback): Jurie van den Heever
Wat Moet Ons Met Ons Kerk Doen?
Jurie van den Heever Paperback  (1)
 R267 Discovery Miles 2 670
Fear - An Alternative History Of The World (Paperback): Robert Peckham
Fear - An Alternative History Of The…
Robert Peckham Paperback R727 R632 Discovery Miles 6 320
Upgrade Your Brain - Unlock Your Life's Full Potential (Paperback): Patrick Holford
Upgrade Your Brain - Unlock Your Life's…
Patrick Holford Paperback R523 R485 Discovery Miles 4 850
Sapiens - A Brief History Of Humankind (Paperback): Yuval Noah Harari
Sapiens - A Brief History Of Humankind
Yuval Noah Harari Paperback  (4)
 R345 R318 Discovery Miles 3 180
The Weather Machine - How We See Into The Future (Paperback): Andrew Blum
The Weather Machine - How We See Into…
Andrew Blum Paperback  (1)
 R480 R434 Discovery Miles 4 340
The Body - A Guide For Occupants (Paperback): Bill Bryson
The Body - A Guide For Occupants
Bill Bryson Paperback  (2)
 R320 R295 Discovery Miles 2 950
This Idea Is Brilliant - Lost, Overlooked, and Underappreciated Scientific Concepts Everyone Should Know (Paperback): John...
This Idea Is Brilliant - Lost…
John Brockman Paperback  (1)
 R454 R430 Discovery Miles 4 300

See more
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