Contact
Comment faire ses achats
Livraison
Guide d'achat
Anglais
125 b
Jusqu'à 30 jours pour les retours
Les clients ont également acheté
/
Livre de poche
52.97
€
/
Livre de poche
20.88
€
/
Livre de poche
25.82
€
/
Livre de poche
42.67
€
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.
À propos du livre
Anglais
Catégories
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataireCeci pourrait également vous intéresser
/
Livre de poche
57.71
€
/
Livre relié
205.23
€
/
Livre de poche
12.10
€
/
Livre de poche
10.28
€
/
Livre de poche
26.83
€
/
Livre de poche
25.92
€
/
Livre relié
108.47
€
Bonjour ! Je suis Libroamiko, votre conseiller littéraire.
Comment puis-je vous aider ?