Parametric Lambda Calculus
- A Metamodel for Computation
- Indbinding:
- Paperback
- Sideantal:
- 248
- Udgivet:
- 3. December 2010
- Udgave:
- 12004
- Størrelse:
- 174x234x15 mm.
- Vægt:
- 392 g.
Leveringstid:
8-11 hverdage
Forventet levering: 4. Oktober 2024
Beskrivelse af Parametric Lambda Calculus
The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi.
Brugerbedømmelser af Parametric Lambda Calculus
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Parametric Lambda Calculus findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621