{"product_id":"frederic-miller-p-lambda-calcul-9786134064033","title":"Lambda-calcul","description":"Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Le lambda- calcul (ou ¿-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. Il a été le premier formalisme utilisé pour définir et caractériser les fonctions récursives et donc il a une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel. Il a depuis été appliqué comme langage de programmation théorique et comme métalangage pour la démonstration formelle assistée par ordinateur. Le lambda-calcul peut être ou non typé. Le lambda-calcul est apparenté à la logique combinatoire de Haskell Curry.","brand":"OmniScriptum","offers":[{"title":"Default Title","offer_id":53900602114390,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9786134064033_1.jpg?v=1790998984","url":"https:\/\/www.momoxbooks.com\/products\/frederic-miller-p-lambda-calcul-9786134064033","provider":"momox","version":"1.0","type":"link"}