Placeholder text

Go to cart

Types for Proofs and Programs

By Thorsten Altenkirch

Types for Proofs and Programs Medicine

Types for Proofs and Programs

By Thorsten Altenkirch

0 - Default Title
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.
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
220
Release Date:
2008-06-13
Publication Date:
1999-09-22
Publisher:
Springer
Languages:
Original: English
ISBN10:
3540665374
ISBN13:
9783540665373
GPSR Manufacturer Reference:
[email protected]
Weight:
341 g
Height:
155 cm
Width:
235 cm
Thickness:
13 cm
Buy on Amazon
Currently sold out