{"product_id":"altenkirch-thorsten-types-for-proofs-and-programs-9783540665373","title":"Types for Proofs and Programs","description":"On Relating Type Theories and Set Theories.- Communication Modelling and Context-Dependent Interpretation: An Integrated Approach.- Gröbner Bases in Type Theory.- A Modal Lambda Calculus with Iteration and Case Constructs.- Proof Normalization Modulo.- Proof of Imperative Programs in Type Theory.- An Interpretation of the Fan Theorem in Type Theory.- Conjunctive Types and SKInT.- Modular Structures as Dependent Types in Isabelle.- Metatheory of Verification Calculi in LEGO.- Bounded Polymorphism for Extensible Objects.- About Effective Quotients in Constructive Type Theory.- Algorithms for Equality and Unification in the Presence of Notational Definitions.- A Preview of the Basic Picture: A New Perspective on Formal Topology.","brand":"Springer","offers":[{"title":"Default Title","offer_id":53684022313302,"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_9783540665373_1.jpg?v=1778852355","url":"https:\/\/www.momoxbooks.com\/products\/altenkirch-thorsten-types-for-proofs-and-programs-9783540665373","provider":"momoxbooks","version":"1.0","type":"link"}