Church encoding lambda calculus (2 résultats)
- Couverture souple
- impression à la demande
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 109,85
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Taschenbuch. Etat : Neu. Church encoding | Lambda calculus, Mathematics, Alonzo Church, Higher-order function, Church-Turing thesis, Gödel numbering, Natural number | Frederic P. Miller (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786135584080 | 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. …
- Couverture souple
- impression à la demande
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 189,66
EUR 30,50 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. Please note thatthe content of this book primarily consists of articles available fromWikipedia or other free sources online. In mathematics, Church encodingis a means of embedding data and operators into the lambda calculus, themost familiar form being the Church numerals, a representation of thenatural numbers using lambda notation. The method is named for AlonzoChurch, who first encoded data in the lambda calculus this way.…
