↓ 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 Collection Principles in Dependent Type Theory
  3. Altmetric Badge
    Chapter 2 Executing Higher Order Logic
  4. Altmetric Badge
    Chapter 3 A Tour with Constructive Real Numbers
  5. Altmetric Badge
    Chapter 4 An Implementation of Type:Type
  6. Altmetric Badge
    Chapter 5 On the Logical Content of Computational Type Theory: A Solution to Curry’s Problem
  7. Altmetric Badge
    Chapter 6 Constructive Reals in Coq: Axioms and Categoricity
  8. Altmetric Badge
    Chapter 7 A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals
  9. Altmetric Badge
    Chapter 8 A Kripke-Style Model for the Admissibility of Structural Rules
  10. Altmetric Badge
    Chapter 9 Towards Limit Computable Mathematics
  11. Altmetric Badge
    Chapter 10 Formalizing the Halting Problem in a Constructive Type Theory
  12. Altmetric Badge
    Chapter 11 On the Proofs of Some Formally Unprovable Propositions and Prototype Proofs in Type Theory
  13. Altmetric Badge
    Chapter 12 Changing Data Structures in Type Theory: A Study of Natural Numbers
  14. Altmetric Badge
    Chapter 13 Elimination with a Motive
  15. Altmetric Badge
    Chapter 14 Generalization in Type Theory Based Proof Assistants
  16. Altmetric Badge
    Chapter 15 An Inductive Version of Nash-Williams’ Minimal-Bad-Sequence Argument for Higman’s Lemma
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users
wikipedia
4 Wikipedia pages

Citations

dimensions_citation
1 Dimensions
Summary X Wikipedia Dimensions citations
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.
Title
Types for Proofs and Programs
Published by
Springer Science & Business Media, February 2002
DOI 10.1007/3-540-45842-5
ISBNs
978-3-54-043287-6, 978-3-54-045842-5
Editors

Callaghan, Paul, Luo, Zhaohui, McKinna, James, Pollack, Robert, Pollack, Robert

View on publisher site Google Preview
X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.