Lecture Notes on the Lambda Calculus
Vi har samlet 2 aktuelle varer med samme produktnavn hos Saxo DK på én side.
Denne side samler varer efter forhandler og produktnavn. Det betyder ikke nødvendigvis, at varerne er officielle varianter af samme produkt.
Muligheder hos forhandleren
Vi kan ikke med sikkerhed afgøre, om varerne er varianter eller separate produkter. Sammenlign detaljerne før du går videre.
| Produkt | Varenr. | Pris | Handling |
|---|---|---|---|
| Lecture Notes on the Lambda Calculus | 9780359158850 | 369,95 kr | Til butik |
| Lecture Notes on the Lambda Calculus | 9780359158850 | 369,95 kr | Til butik |
Produktdetaljer
Lecture Notes on the Lambda Calculus
369,95 kr
Til butik- Varenr.:
- 9780359158850
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.
Læs mere hos Saxo DKLecture Notes on the Lambda Calculus
369,95 kr
Til butik- Varenr.:
- 9780359158850
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.
Læs mere hos Saxo DKOplysningerne kommer fra Saxo DKs aktuelle produktdata.