Church encoding lambda calculus (2 resultados)
- Tapa blanda
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 109,85
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: 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.…
- Tapa blanda
- Impresión bajo demanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 189,66
Envío por EUR 30,50Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: 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.…
