Items related to λ-Calculus and Computer Science Theory: Proceedings...
λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975. IAC - CNR Istituto per le Applicazioni del ... (Lecture Notes in Computer Science, 37) - Softcover
Search results for λ-Calculus and Computer Science Theory: Proceedings...
Seller Image
Lambda-Calculus and Computer Science Theory: Proceedings of the Symposium held in Rome, March 25-27, 1975 Lecture Notes in Computer Science, 37
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: Gut. 370 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 570. Seller Inventory # 2194662
Quantity: 1 available
Seller Image
?-Calculus and Computer Science Theory. Proceedings of the Symposium Held in Rome March 2527, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche. Lecture notes in computer science ; 37.
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
371 pages Ex-Library book in good condition. Pages yellowed. 9783540074168 Sprache: Englisch Gewicht in Gramm: 776. Seller Inventory # 1166302
Quantity: 1 available
Stock Image
?-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25-27, 1975. IAC - CNR Istituto per le Applicazioni del ... (Lecture Notes in Computer Science, 37)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783540074168
Quantity: 2 available
Stock Image
?-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25-27, 1975. IAC - CNR Istituto per le Applicazioni del ... (Lecture Notes in Computer Science, 37)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020157677
Quantity: Over 20 available
Stock Image
?-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25-27, 1975. IAC - CNR Istituto per le Applicazioni del ... (Lecture Notes in Computer Science, 37)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783540074168
Quantity: Over 20 available
Stock Image
?-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25-27, 1975. IAC - CNR Istituto per le Applicazioni del ... (Lecture Notes in Computer Science, 37)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540074168_new
Quantity: Over 20 available
Stock Image
?-Calculus and Computer Science Theory
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 388. Seller Inventory # 26357869980
Quantity: 4 available
Stock Image
?-Calculus and Computer Science Theory
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 388 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Seller Inventory # 354620995
Quantity: 4 available
Stock Image
?-Calculus and Computer Science Theory
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 388. Seller Inventory # 18357869974
Quantity: 4 available
Seller Image
¿-Calculus and Computer Science Theory
Published by
Springer Berlin Heidelberg, 1975
ISBN 10: 3540074163
ISBN 13: 9783540074168
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Combinators and classes.- Least fixed points revisited.- Infinite normal forms for the ?-calculus.- A survey of some useful partial order relations on terms of the lambda calculus.- ?-Terms as total or partial functions on normal forms.- Continuous semantic. Seller Inventory # 4879602
Quantity: Over 20 available