Kapcsolat
Hogyan vásároljunk
Kézbesítés
Vásárlási tanácsadó
Angol
136 b
Akár 30 napos visszaküldési lehetőség
A vásárlók ilyet vásároltak
/
Puha kötésű
20 904
Ft
/
Puha kötésű
7 565
Ft
/
Puha kötésű
10 277
Ft
/
Puha kötésű
16 977
Ft
The parametric lambda calculus is a metamodel for reasoning about various kinds of computations. Its syntactic definition is based on the notion of "sets of input values", and different lambda calculi can be obtained from it by instantiating such sets in suitable ways. §The parametric lambda calculus is used as a tool for presenting in a uniform way basic notions of programming languages, and for studying with a uniform approach some lambda calculi modeling different kinds of computations, such as call-by-name, both in its lazy and non-lazy versions, and call-by-value. The parametric presentation allows us both to prove in one step all the fundamental properties of different calculi, and to compare them with each other. §The book includes some classical results in the field of lambda calculi, but completely rephrased using the parametric approach, together with some new results. The lambda calculi are presented from a computer science viewpoint, with particular emphasis on their semantics, both operational and denotational.§This book is dedicated to researchers, and can be used as a textbook for masters or Ph.D. courses on the foundations of computer science.
Információ a könyvről
Angol
Kategória
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címéreEzt is ajánljuk
/
Puha kötésű
22 940
Ft
/
Kemény kötésű
81 030
Ft
/
Puha kötésű
4 763
Ft
/
Puha kötésű
4 045
Ft
/
Puha kötésű
10 518
Ft
/
Puha kötésű
10 145
Ft
/
Kemény kötésű
41 505
Ft
Szia! Libroamiko vagyok, a könyvtanácsadód.
Miben segíthetek?