Computer Science Abstractions to Help Reason About Decentralized Stablecoin Design
Article in IEEE Access (January 2023)
The most recent citing publication is shown below. View this citation on Dimensions.
Proof and System-Reliability
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Cartesian Closed Categories of Effective Domains
-
Altmetric BadgeChapter 2 Algorithmic Game Semantics
-
Altmetric BadgeChapter 3 Algebra of Networks
-
Altmetric BadgeChapter 4 Computability and Complexity from a Programming Perspective
-
Altmetric BadgeChapter 5 Logical Frameworks—A Brief Introduction
-
Altmetric BadgeChapter 6 Ludics : An Introduction
-
Altmetric BadgeChapter 7 Naïve Computational Type Theory
-
Altmetric BadgeChapter 8 Proof-Carrying Code. Design and Implementation
-
Altmetric BadgeChapter 9 Abstractions and Reductions in Model Checking
-
Altmetric BadgeChapter 10 Hoare Logic: From First-Order to Propositional Formalism
-
Altmetric BadgeChapter 11 Hoare Logics in Isabelle/HOL
-
Altmetric BadgeChapter 12 Proof Theoretic Complexity
-
Altmetric BadgeChapter 13 Feasible Computation with Higher Types
Altmetric Badge
Citations
- dimensions_citation
- 1 Dimensions