Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Parametric Lambda Calculus

Name: Parametric Lambda Calculus
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01651083
Price: 45.49 EUR
Availability: InStock
Author: Simona Ronchi Della Rocca
ISBN: 9783642057465

A Metamodel for Computation

Simona Ronchi Della Rocca

Luca Paolini

Sprache

Englisch

Buch Broschur

Libristo-Code: 01651083

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Dezember 2010

The parametric lambda calculus is a metamodel for reasoning about various kinds of computations. Its... Vollständige Beschreibung

Libristo-Code: 01651083

111 b

45.49 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Cómo ser el marido casi perfecto : escrito por esposas que saben de lo que hablan J. S. Salt

Broschur

7.19 €

Sistema Muscular (visió anterior) / Sistema Muscular (visió posterior) Edigol Ediciones

binding.

38.09 €

Rok 1968, - 50 rokov po... Miroslav Londák a kolektív

Hardcover

13.49 €

LOI DU 23 MARS 1855 SUR TRANSCRIPTION EN TROPLONG M.

Broschur

30.39 €

Vocabulario Portugues-Finlandes - 3000 palavras mais uteis Andrey Taranov

Broschur

8.69 €

Notices Sur Quelques Cartulaires Et Obituaires Francais Conserves A La Bibliotheque Du Vatican Auvray-L

Broschur

10.89 €

Die Energiewende: Potenziale Bei Der Energiegewinnung Wolfgang Osterhage

Broschur

14.99 €

Medida de desplazamientos y vibraciones en estructuras Carlos Morón

Broschur

69.79 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Parametric Lambda Calculus

Autor Simona Ronchi Della Rocca, Luca Paolini

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 248

EAN 9783642057465

ISBN 3642057462

Libristo-Code 01651083

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 392

Abmessungen 234 x 174 x 15

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert