Order Total (1 Item Items):
Shipping Destination:
Parametric Lambda Calculus Metamodel by Ronchi Rocca (17 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (17)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (12)
- As New, Fine or Near Fine (3)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (6)
- Not Print on Demand (17)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address.
-
-
-
-
-
Condition: As New. Unread book in perfect condition.
-
The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)
Book 34 of 45: Texts in Theoretical Computer Science. An EATCSSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.20
US$ 16.56 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)
Book 34 of 45: Texts in Theoretical Computer Science. An EATCSSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.65
US$ 16.56 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
The Parametric Lambda Calculus: A Metamodel for Computation
Book 34 of 45: Texts in Theoretical Computer Science. An EATCSUS$ 68.01
US$ 21.41 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
Parametric Lambda Calculus : A Metamodel for Computation
Book 34 of 45: Texts in Theoretical Computer Science. An EATCSSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 71.55
US$ 20.74 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Hardback or Cased Book. Condition: New. The Parametric Lambda Calculus: A Metamodel for Computation. Book.
-
Parametric Lambda Calculus : A Metamodel for Computation
Book 34 of 45: Texts in Theoretical Computer Science. An EATCSSeller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 77.69
US$ 20.74 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)
Book 34 of 45: Texts in Theoretical Computer Science. An EATCSSeller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
2004. 262 p. New! -- Neu und originalverschweißt! 9783540200321 Sprache: Englisch Gewicht in Gramm: 522 Hardcover: 15.6 x 1.7 x 23.4 cm.
-
-
-
hardcover. Condition: New. In shrink wrap. Looks like an interesting title!
-
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 272 | Sprache: Englisch | Produktart: Bücher | 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.
