Programming Language Computable Functions (4 results)
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 137.79
£ 19.72 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 120 pp. Englisch.
- Softcover
- Print on Demand
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 110.67
£ 60.03 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Programming Language for Computable Functions | Functional Programming, Alice (programming language), Caml | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786133194618 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrüc…k, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 137.79
£ 51.45 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. The Programminglanguage for Computable Functions, or PCF, is a typed functionallanguage introduced by Gordon…Plotkin in 1977. It is based on the Logicof Computable Functions (LCF) by Dana Scott. It can be considered as asimplified version of modern typed functional languages such as ML. Afully abstract model for PCF was first given by Milner (1977). Howeversince Milner's model was essentially based on the syntax of PCF it wasconsidered less than satisfactory (Ong, 1995). The first two fullyabstract models not employing syntax were formulated during the 1990s.These models are based on game semantics (Hyland and Ong, 2000;Abramsky, Jagadeesan, and Malacaria, 2000) and Kripke logical relations(O'Hearn and Riecke, 1995). For a time it was felt that neither of thesemodels was completely satisfactory, since they were not effectivelypresentable. However, Ralph Loader demonstrated that no effectivelypresentable fully abstract model could exist, since the question ofprogram equivalence in the finitary fragment of PCF is not decidable.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 120 pp. Englisch.
- Softcover
- Print on Demand
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 139.44
£ 52.30 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering.
