λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975. IAC - CNR Istituto per le Applicazioni del ... 37 (Lecture Notes in Computer Science, 37) - Softcover
Synopsis
Lambda-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome, March 25-27, 1975. Iac - Cnr Istituto Per Le Applicazioni del Lambda-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome, March 25-27, 1975. Iac - Cnr Istituto Per Le Applicazioni del
"synopsis" may belong to another edition of this title.
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
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
Buy New
£ 50.80
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
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
Stock Image
?-Calculus and Computer Science Theory
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 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
Buy New
£ 67.83
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
?-Calculus and Computer Science Theory
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 388. Seller Inventory # 18357869974
Stock 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 Nazion
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. bilingual edition. 388 pages. French language. 9.60x6.69x0.88 inches. In Stock. Seller Inventory # x-3540074163
Buy New
£ 68.10
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 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
Buy New
£ 43.07
£ 42.36 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
¿-Calculus and Computer Science Theory
Published by
Springer, Springer Nov 1975, 1975
ISBN 10: 3540074163
ISBN 13: 9783540074168
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 semantics and inside-out reductions.- An algebraic interpretation of the K-calculus and a labelled -calculus.- Les modeles informatiques des -calculs.- On the description of time varying systems in -calculus.- Unification in typed lambda calculus.- A condition for identifying two elements of whatever model of combinatory logic.- Typed meaning in Scott's -calculus models.- Programming language semantics in a typed lambda-calculus.- Big trees in a -calculus with -expressions as types.- Normed uniformly reflexive structures.- A model with nondeterministic computation.- On subrecursiveness in weak combinatory logic.- Sequentially and parallelly computable functionals.- Computation on arbitrary algebras.- On solvability by I-terms.- Somephilosophical issues concerning theories of combinators.- Open problems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 388 pp. Englisch. Seller Inventory # 9783540074168
Seller Image
¿-Calculus and Computer Science Theory : Proceedings of the Symposium Held in Rome March 25-27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 semantics and inside-out reductions.- An algebraic interpretation of the K-calculus and a labelled -calculus.- Les modeles informatiques des -calculs.- On the description of time varying systems in -calculus.- Unification in typed lambda calculus.- A condition for identifying two elements of whatever model of combinatory logic.- Typed meaning in Scott's -calculus models.- Programming language semantics in a typed lambda-calculus.- Big trees in a -calculus with -expressions as types.- Normed uniformly reflexive structures.- A model with nondeterministic computation.- On subrecursiveness in weak combinatory logic.- Sequentially and parallelly computable functionals.- Computation on arbitrary algebras.- On solvability by I-terms.- Somephilosophical issues concerning theories of combinators.- Open problems. Seller Inventory # 9783540074168
Seller Image
¿-Calculus and Computer Science Theory | Proceedings of the Symposium Held in Rome March 25-27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. ¿-Calculus and Computer Science Theory | Proceedings of the Symposium Held in Rome March 25-27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche | C. Böhm | Taschenbuch | xii | Englisch | Springer | EAN 9783540074168 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 105088117