The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)
Language: English
Published by Springer, 2004
Series: Book 34 of 45 - Texts in Theoretical Computer Science. An EATCS
- Hardcover
- Used
Seller: Bay State Book Company, North Smithfield, RI, U.S.A.Bay State Book Company
AbeBooks seller since January 23, 2023
Condition: Used - Very good
US$ 44.94
Quantity: 1 available
Add to basketSeller Inventory # BSM.1BGLG
- Title
- The Parametric Lambda Calculus: A Metamodel for Computation (Texts in Theoretical Computer Science. An EATCS Series)
- Author
- Ronchi Della Rocca, Simona; Paolini, Luca
- Publisher
- Springer
- Publication year
- 2004
- Condition
- very_good
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 3540200320
- ISBN 13
- 9783540200321
- Series
- Book 34 of 45: Texts in Theoretical Computer Science. An EATCS
"Synopsis" may belong to another edition of this title.
About the Author
Simona Ronchi Della Rocca: Full Professor of Foundations of Computer Science since 1987, Member of the Editorial Board of TOCL (ACM Transactions on Computational Logic), Member of the Organizing Committee of LICS (Logic in Computer Science), Member of the Accademy of Sciences of Torino
Luca Paolini: PhD student in Computer Science and Discrete Mathematics, Università di Genova and Université de la Mediterranée.
.
"About the title" may belong to another edition of this title.
Bay State Book Company
North Smithfield, RI, U.S.A.
AbeBooks seller since January 23, 2023
Shipping rates within U.S.A.
| Item | 4 to 11 business days | 4 to 10 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 6.00 |
Payment methods
Store description
We are a local book store that specializes in used books. Our delivery is quick. Same day shipping most of the time and most books arrive within 5 days or ordering.
Specialty
History, fiction, children's booksSeller's business information
Bay State Book Company LLC
473 saint paul st, suite 1 (Bay State Books)
North Smithfield, RI U.S.A. 02896