Sold Out
Book Categories |
A modular hierarchy of logical frameworks | 1 | |
Tailoring filter models | 17 | |
Locales and locale expressions in Isabelle/Isar | 34 | |
Introduction of PAF!, a proof assistant for ML programs verification | 51 | |
A constructive proof of Higman's lemma in Isabelle | 66 | |
A core calculus of higher-order mixins and classes | 83 | |
Type inference for nested self types | 99 | |
Inductive families need not store their indices | 115 | |
Modules in coq are and will be correct | 130 | |
Rewriting calculus with fixpoints : untyped and first-order systems | 147 | |
First-order reasoning in the calculus of inductive constructions | 162 | |
Higher-order linear ramified recurrence | 178 | |
Confluence and strong normalisation of the generalised multiary [lambda]-calculus | 194 | |
Wellfounded trees and dependent polynomial functors | 210 | |
Classical proofs, typed processes, and intersection types | 226 | |
"Wave-style" geometry of interaction models in rel are graph-like lambda-models | 242 | |
Coercions in Hindley-Milner systems | 259 | |
Combining incoherent coercions for [Sigma]-types | 276 | |
Induction and co-induction in sequent calculus | 293 | |
QArith : coq formalisation of lazy rational arithmetic | 309 | |
Mobility types in coq | 324 | |
Some algebraic structures in lambda-calculus with inductive types | 338 | |
A concurrent logical framework : the propositional fragment | 355 | |
Formal proof sketches | 378 | |
Applied type system | 394 |
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 ListX
This item is in your CollectionTypes for Proofs and Programs
X
This Item is in Your InventoryTypes 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 |