Sinossi
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In computer science, Scott encoding is a way to embed inductive datatypes in the lambda calculus. Mogensen-Scott encoding extends and slightly modifies this to an embedding of all terms of the untyped lambda calculus. The Scott and Church encodings coincide on enumerated datatypes such as the boolean datatype. Church encoded data and operations on them are typable in system F, but Scott encoded data and operations are not obviously typable in system F. Universal as well as recursive types appear to be required, and since strong normalization does not hold for recursively typed lambda calculus, termination of programs manipulating Scott-encoded data cannot be established by determining well-typedness of such programs.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Mogensen-Scott Encoding: Computer Science, Lambda Calculus,...
Immagini fornite dal venditore
Mogensen-Scott Encoding
Print on DemandDa: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 108 pp. Englisch. Codice articolo 9786133249813
Compra nuovo
EUR 156,00
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Mogensen-Scott Encoding | Computer Science, Lambda Calculus, Anonymous Function
Print on DemandDa: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 134911147
Compra nuovo
EUR 125,30
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Immagini fornite dal venditore
Mogensen-Scott Encoding
Print on DemandDa: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9786133249813
Compra nuovo
EUR 156,00
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Mogensen-Scott Encoding : Computer Science, Lambda Calculus, Anonymous Function
Print on DemandDa: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. Codice articolo 9786133249813
Compra nuovo
EUR 157,87
Spedizione EUR 60,90
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili