↓ 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 69 Introduction
  3. Altmetric Badge
    Chapter 70 Proving strong normalization of CC by modifying realizability semantics
  4. Altmetric Badge
    Chapter 71 Checking algorithms for Pure Type Systems
  5. Altmetric Badge
    Chapter 72 Infinite objects in type theory
  6. Altmetric Badge
    Chapter 73 Conservativity between logics and typed λ calculi
  7. Altmetric Badge
    Chapter 74 Logic of refinement types
  8. Altmetric Badge
    Chapter 75 Proof-checking a data link protocol
  9. Altmetric Badge
    Chapter 76 Elimination of extensionality in Martin-Löf type theory
  10. Altmetric Badge
    Chapter 77 Programming with streams in Coq a case study: The Sieve of Eratosthenes
  11. Altmetric Badge
    Chapter 78 The Alf proof editor and its proof engine
  12. Altmetric Badge
    Chapter 79 Types for Proofs and Programs
  13. Altmetric Badge
    Chapter 80 The expressive power of Structural Operational Semantics with explicit assumptions
  14. Altmetric Badge
    Chapter 81 Developing certified programs in the system Coq the program tactic
  15. Altmetric Badge
    Chapter 82 Closure under alpha-conversion
  16. Altmetric Badge
    Chapter 83 Machine Deduction
  17. Altmetric Badge
    Chapter 84 Type theory and the informal language of mathematics
  18. Altmetric Badge
    Chapter 85 Semantics for abstract clauses
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

blogs
1 blog
wikipedia
2 Wikipedia pages

Citations

dimensions_citation
2 Dimensions
Summary Blogs 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, May 1994
DOI 10.1007/3-540-58085-9
ISBNs
978-3-54-058085-0, 978-3-54-048440-0
Editors

Barendregt, Henk, Nipkow, Tobias

View on publisher site Google Preview

This page is provided by Altmetric.