Luca Paolini – författare
Visar alla böcker från författaren Luca Paolini. Handla med fri frakt och snabb leverans.
3 produkter
Parametric Lambda Calculus
A Metamodel for Computation
Av Simona Ronchi Della Rocca, Luca Paolini
Inbunden, 2004
551 kr
Lägg i varukorg
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, …
Parametric Lambda Calculus
A Metamodel for Computation
Av Simona Ronchi Della Rocca, Luca Paolini
Häftad, 2010
551 kr
Lägg i varukorg
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, …
Parametric Lambda Calculus
A Metamodel for Computation
Av Luca Paolini, Simona Ronchi Della Rocca
E-bok, 2013
718 kr
Lägg i varukorg
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, …
