2,130 followers
Open Access UCL Research: Completeness and Incompleteness of Synchronous Kleene Algebra https://t.co/EWjiovBluk
Mathematics of Program Construction
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Experiments in Information Flow Analysis
-
Altmetric BadgeChapter 2 Handling Local State with Global State
-
Altmetric BadgeChapter 3 Certification of Breadth-First Algorithms by Extraction
-
Altmetric BadgeChapter 4 Verified Self-Explaining Computation
-
Altmetric BadgeChapter 5 Self-certifying Railroad Diagrams
-
Altmetric BadgeChapter 6 How to Calculate with Nondeterministic Functions
-
Altmetric BadgeChapter 7 Setoid Type Theory—A Syntactic Translation
-
Altmetric BadgeChapter 8 Cylindric Kleene Lattices for Program Construction
-
Altmetric BadgeChapter 9 A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning
-
Altmetric BadgeChapter 10 System F in Agda, for Fun and Profit
-
Altmetric BadgeChapter 11 An Analysis of Repeated Graph Search
-
Altmetric BadgeChapter 12 Shallow Embedding of Type Theory is Morally Correct
-
Altmetric BadgeChapter 13 En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad
-
Altmetric BadgeChapter 14 Completeness and Incompleteness of Synchronous Kleene Algebra
-
Altmetric BadgeChapter 15 Unraveling Recursion: Compiling an IR with Recursion to System F
-
Altmetric BadgeChapter 16 Coding with Asymmetric Numeral Systems