The Parametric Lambda Calculus: A Metamodel for Computation by Simona Ronchi Del

Description: The Parametric Lambda Calculus by Simona Ronchi Della Rocca, Luca Paolini Estimated delivery 3-12 business days Format Hardcover Condition Brand New Description 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. Publisher Description 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. Author Biography 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, Universita di Genova and Universite de la Mediterranee. . Details ISBN 3540200320 ISBN-13 9783540200321 Title The Parametric Lambda Calculus Author Simona Ronchi Della Rocca, Luca Paolini Format Hardcover Year 2004 Pages 248 Edition 2004th Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG GE_Item_ID:140283787; About Us Grand Eagle Retail is the ideal place for all your shopping needs! With fast shipping, low prices, friendly service and over 1,000,000 in stock items - you're bound to find what you want, at a price you'll love! Shipping & Delivery Times Shipping is FREE to any address in USA. Please view eBay estimated delivery times at the top of the listing. Deliveries are made by either USPS or Courier. We are unable to deliver faster than stated. International deliveries will take 1-6 weeks. NOTE: We are unable to offer combined shipping for multiple items purchased. This is because our items are shipped from different locations. Returns If you wish to return an item, please consult our Returns Policy as below: Please contact Customer Services and request "Return Authorisation" before you send your item back to us. Unauthorised returns will not be accepted. Returns must be postmarked within 4 business days of authorisation and must be in resellable condition. Returns are shipped at the customer's risk. We cannot take responsibility for items which are lost or damaged in transit. For purchases where a shipping charge was paid, there will be no refund of the original shipping charge. Additional Questions If you have any questions please feel free to Contact Us. Categories Baby Books Electronics Fashion Games Health & Beauty Home, Garden & Pets Movies Music Sports & Outdoors Toys

Price: 75.38 USD

Location: Fairfield, Ohio

End Time: 2024-03-19T02:39:19.000Z

Shipping Cost: 0 USD