{"product_id":"9781441920140","title":"Adapting Proofs-as-Programs: The Curry--Howard Protocol","description":"\u003cp\u003eThis monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books central themes is a general, abstract framework for developing new systems of programs synthesis by adapting proofs-as-programs to new contexts.\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e","brand":"Springer New York","offers":[{"title":"Default Title","offer_id":47054021165296,"sku":"9781441920140","price":199.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9781441920140_p0.jpg?v=1763797590","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9781441920140","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}