Résultats de recherche pour Mogensen-Scott Encoding: Computer Science, Lambda Calculus,...
Image fournie par le vendeur
Mogensen-Scott Encoding
impression à la demandeVendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 108 pp. Englisch. N° de réf. du vendeur 9786133249813
Acheter neuf
EUR 156
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Mogensen-Scott Encoding | Computer Science, Lambda Calculus, Anonymous Function
impression à la demandeVendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Mogensen-Scott Encoding | Computer Science, Lambda Calculus, Anonymous Function | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786133249813 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand. N° de réf. du vendeur 134911147
Acheter neuf
EUR 125,30
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Mogensen-Scott Encoding
impression à la demandeVendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. In computerscience, Scott encoding is a way to embed inductive datatypes in thelambda calculus. Mogensen-Scott encoding extends and slightly modifiesthis to an embedding of all terms of the untyped lambda calculus. TheScott and Church encodings coincide on enumerated datatypes such as theboolean datatype. Church encoded data and operations on them are typablein system F, but Scott encoded data and operations are not obviouslytypable in system F. Universal as well as recursive types appear to berequired, and since strong normalization does not hold for recursivelytyped lambda calculus, termination of programs manipulatingScott-encoded data cannot be established by determining well-typednessof such programs.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 108 pp. Englisch. N° de réf. du vendeur 9786133249813
Acheter neuf
EUR 156
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Mogensen-Scott Encoding : Computer Science, Lambda Calculus, Anonymous Function
impression à la demandeVendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. N° de réf. du vendeur 9786133249813
Acheter neuf
EUR 157,87
Expédition à EUR 60,90
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)