↓ Skip to main content
What is this page? Embed badge

Types for Proofs and Programs

Overview of attention for book
Cover of 'Types for Proofs and Programs'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory
  3. Altmetric Badge
    Chapter 2 Crafting a Proof Assistant
  4. Altmetric Badge
    Chapter 3 On Constructive Cut Admissibility in Deduction Modulo
  5. Altmetric Badge
    Chapter 4 Fast Reflexive Arithmetic Tactics the Linear Case and Beyond
  6. Altmetric Badge
    Chapter 5 Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq
  7. Altmetric Badge
    Chapter 6 Deciding Equality in the Constructor Theory
  8. Altmetric Badge
    Chapter 7 A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family
  9. Altmetric Badge
    Chapter 8 Truth Values Algebras and Proof Normalization
  10. Altmetric Badge
    Chapter 9 Curry-Style Types for Nominal Terms
  11. Altmetric Badge
    Chapter 10 (In)consistency of Extensions of Higher Order Logic and Type Theory
  12. Altmetric Badge
    Chapter 11 Constructive Type Classes in Isabelle
  13. Altmetric Badge
    Chapter 12 Zermelo’s Well-Ordering Theorem in Type Theory
  14. Altmetric Badge
    Chapter 13 A Finite First-Order Theory of Classes
  15. Altmetric Badge
    Chapter 14 Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers
  16. Altmetric Badge
    Chapter 15 Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs
  17. Altmetric Badge
    Chapter 16 Subset Coercions in Coq
  18. Altmetric Badge
    Chapter 17 A Certified Distributed Security Logic for Authorizing Code
Attention for Chapter 14: Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers
Altmetric Badge
Summary
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
Coinductive Correctness of Homographic and Quadratic Algorithms for Exact Real Numbers
Chapter number 14
Book title
Types for Proofs and Programs
Published in
Lecture notes in computer science, April 2006
DOI 10.1007/978-3-540-74464-1_14
Book ISBNs
978-3-54-074463-4, 978-3-54-074464-1
Authors

Milad Niqui, Niqui, Milad

Editors

Thorsten Altenkirch, Conor McBride

View on publisher site

This page is provided by Altmetric.