Church Encoding Lambda Calculus (2 results)

Title: 
Refine with Advanced Search

Refine your search

  • Books (2)

  • New (2)
Learn more

to

Custom price range (US$)

to

    • Language: English

      Published by OmniScriptum, 2026

      6135584081 / 9786135584080

      • Softcover
      • Print on Demand

      Seller: preigu, Osnabrück, Germanypreigu

      5-star seller
      Contact seller

      Condition: New

      US$ 130.54

      US$ 80.76 shipping 
      Ships from Germany to U.S.A.

      Quantity: 5 available

      Taschenbuch. Condition: 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.…

    • Language: English

      Published by Omniscriptum, 2026

      6135584081 / 9786135584080

      • Softcover
      • Print on Demand

      Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH

      5-star seller
      Contact seller

      Condition: New

      US$ 225.37

      US$ 35.19 shipping 
      Ships from Germany to U.S.A.

      Quantity: 1 available

      Taschenbuch. Condition: 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.…