Theoretical Computer Science
Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi
Häftad, 2001
572 kr
Parametric Lambda Calculus
A Metamodel for Computation
AvSimona Ronchi Della Rocca,Luca Paolini
Häftad, Engelska, 2010
556 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
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. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. The lambda calculi are presented from a Computer Science point of view, with a particular emphasis on their semantics, both operational and denotational.
Produktinformation
Utforska kategorier
Mer om författaren
Innehållsförteckning
Hoppa över listan
Mer från samma serie
Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Inbunden, 2022
551 kr
Formal Methods for Software Engineering
Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Häftad, 2023
421 kr
Simulation Algorithms for Computational Systems Biology
Luca Marchetti, Corrado Priami, Vo Hong Thanh
Inbunden, 2017
633 kr
Hoppa över listan
Du kanske också är intresserad av
Theoretical Computer Science
Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi
Häftad, 2001
572 kr
- Signerad!
- Signerad!
Del 3
- -19%
- -21%