↓ 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
Attention for Chapter 5: On the Logical Content of Computational Type Theory: A Solution to Curry’s Problem
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
1 Dimensions
Summary X 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.
Chapter title
On the Logical Content of Computational Type Theory: A Solution to Curry’s Problem
Chapter number 5
Book title
Types for Proofs and Programs
Published by
Springer, Berlin, Heidelberg, December 2000
DOI 10.1007/3-540-45842-5_5
Book ISBNs
978-3-54-043287-6, 978-3-54-045842-5
Authors

Matt Fairtlough, Michael Mendler, Fairtlough, Matt, Mendler, Michael

View on publisher site
X Demographics

X Demographics

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

This page is provided by Altmetric.