|
|
Sold Out
Book Categories |
| (Co-)Iteration for Higher-Order Nested Datatypes | 1 | |
| Program Extraction in Simply-Typed Higher Order Logic | 21 | |
| General Recursion in Type Theory | 39 | |
| Using Theory Morphisms for Implementing Formal Methods Tools | 59 | |
| Subsets, Quotients and Partial Functions in Martin-Lof's Type Theory | 78 | |
| Mathematical Quotients and Quotient Types in Coq | 95 | |
| A Constructive Formalization of the Fundamental Theorem of Calculus | 108 | |
| Two Behavioural Lambda Models | 127 | |
| A Unifying Approach to Recursive and Co-recursive Definitions | 148 | |
| Holes with Binding Power | 162 | |
| Typing with Conditions and Guarantees for Functional In-place Update | 182 | |
| A New Extraction for Coq | 200 | |
| Weak Transitivity in Coercive Subtyping | 220 | |
| The Not So Simple Proof-Irrelevant Model of CG | 240 | |
| Structured Proofs in Isar/HOL | 259 | |
| Java as a Functional Programming Language | 279 | |
| Monad Translating Inductive and Coinductive Types | 299 | |
| A Finite First-Order Presentation of Set Theory | 316 | |
| Author Index | 331 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Peter Sheen
reviewed Types for Proofs and Programs on June 27, 2014
Types for Proofs and Programs
It is in my sylabbux
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Types for Proofs and Programs
X
This Item is in Your Inventory
Types for Proofs and Programs
X
You must be logged in to review the productsX
X
X
Add Types for Proofs and Programs, , Types for Proofs and Programs to the inventory that you are selling on WonderClubX
X
Add Types for Proofs and Programs, , Types for Proofs and Programs to your collection on WonderClub |
