↓ Skip to main content

Mathematics of Program Construction

Overview of attention for book
Cover of 'Mathematics of Program Construction'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Exploiting Unique Fixed Points
  3. Altmetric Badge
    Chapter 2 Scrap Your Type Applications
  4. Altmetric Badge
    Chapter 3 Programming with Effects in Coq
  5. Altmetric Badge
    Chapter 4 Verifying a Semantic βη -Conversion Test for Martin-Löf Type Theory
  6. Altmetric Badge
    Chapter 5 The Capacity- C Torch Problem
  7. Altmetric Badge
    Chapter 6 Recounting the Rationals: Twice!
  8. Altmetric Badge
    Chapter 7 Zippy Tabulations of Recursive Functions
  9. Altmetric Badge
    Chapter 8 Unfolding Abstract Datatypes
  10. Altmetric Badge
    Chapter 9 Circulations, Fuzzy Relations and Semirings
  11. Altmetric Badge
    Chapter 10 Asynchronous Exceptions as an Effect
  12. Altmetric Badge
    Chapter 11 The Böhm–Jacopini Theorem Is False, Propositionally
  13. Altmetric Badge
    Chapter 12 The Expression Lemma
  14. Altmetric Badge
    Chapter 13 Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening
  15. Altmetric Badge
    Chapter 14 Probabilistic Choice in Refinement Algebra
  16. Altmetric Badge
    Chapter 15 Algebra of Programming Using Dependent Types
  17. Altmetric Badge
    Chapter 16 Safe Modification of Pointer Programs in Refinement Calculus
  18. Altmetric Badge
    Chapter 17 A Hoare Logic for Call-by-Value Functional Programs
  19. Altmetric Badge
    Chapter 18 Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems
  20. Altmetric Badge
    Chapter 19 Modal Semirings Revisited
  21. Altmetric Badge
    Chapter 20 Asymptotic Improvement of Computations over Free Monads
  22. Altmetric Badge
    Chapter 21 Symmetric and Synchronous Communication in Peer-to-Peer Networks
Attention for Chapter 11: The Böhm–Jacopini Theorem Is False, Propositionally
Altmetric Badge

Mentioned by

wikipedia
6 Wikipedia pages

Readers on

mendeley
14 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
The Böhm–Jacopini Theorem Is False, Propositionally
Chapter number 11
Book title
Mathematics of Program Construction
Published by
Springer Berlin Heidelberg, July 2008
DOI 10.1007/978-3-540-70594-9_11
Book ISBNs
978-3-54-070593-2, 978-3-54-070594-9
Authors

Dexter Kozen, Wei-Lung Dustin Tseng

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 14 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United States 1 7%
Canada 1 7%
Unknown 12 86%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 4 29%
Researcher 3 21%
Student > Master 3 21%
Other 2 14%
Student > Bachelor 1 7%
Other 0 0%
Unknown 1 7%
Readers by discipline Count As %
Computer Science 12 86%
Engineering 1 7%
Unknown 1 7%