Games and Full Abstraction for a Functional Metalanguage with Recursive Types
Vše od
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540762553
This work develops a theory of game semantics, a setting for modelling and reasoning about sequential programming languages, suitable for interpreting higher-order functional languages with a rich type structure. It applies it to construct a fully abstract model of the metalanguage FPC.
2 115 Kč
- 1 - 2 ks
- 2 115 Kč
- 3 - 10 ks
- 2 094 Kč
- 11 a více ks
- 2 074 Kč
Naše cena 2 115 Kč je o 6 % nižší než
doporučená cena výrobce 2 250 Kč.
Předpoklad doručení do 27. května *
* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.
Nepřehlédněte od Springer-Verlag Berlin and Heidelberg GmbH & Co. KG ↓
Acting Correctly During Cardiac Arrest: Why Immediate Resuscitation Is So Important
do 27. května734 Kč
2 115 Kč
Více o produktu ↓
This work develops a theory of game semantics, a setting for modelling and reasoning about sequential programming languages, suitable for interpreting higher-order functional languages with a rich type structure. It applies it to construct a fully abstract model of the metalanguage FPC.
- Výrobce
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Jazyk
- Germany
- Autor
- McCusker, Guy
- Rozměry
- 240
- Rok vydání
- 1998
- Počet stran
- 224
- Obsah
- Hardback
- Počet stran
- 224 pages, figures, bibliography
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Games and Full Abstraction for a Functional Metalanguage with Recursive Types a pomůžete tak ostatním zákazníkům při výběru.
Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!
