↓ 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 On Relating Type Theories and Set Theories
  3. Altmetric Badge
    Chapter 2 Communication Modelling and Context-Dependent Interpretation: An Integrated Approach
  4. Altmetric Badge
    Chapter 3 Gröbner Bases in Type Theory
  5. Altmetric Badge
    Chapter 4 A Modal Lambda Calculus with Iteration and Case Constructs
  6. Altmetric Badge
    Chapter 5 Proof Normalization Modulo
  7. Altmetric Badge
    Chapter 6 Proof of Imperative Programs in Type Theory
  8. Altmetric Badge
    Chapter 7 An Interpretation of the Fan Theorem in Type Theory
  9. Altmetric Badge
    Chapter 8 Conjunctive Types and SKInT
  10. Altmetric Badge
    Chapter 9 Modular Structures as Dependent Types in Isabelle
  11. Altmetric Badge
    Chapter 10 Metatheory of Verification Calculi in LEGO
  12. Altmetric Badge
    Chapter 11 Bounded Polymorphism for Extensible Objects
  13. Altmetric Badge
    Chapter 12 About Effective Quotients in Constructive Type Theory
  14. Altmetric Badge
    Chapter 13 Algorithms for Equality and Unification in the Presence of Notational Definitions
  15. Altmetric Badge
    Chapter 14 A Preview of the Basic Picture: A New Perspective on Formal Topology
Attention for Chapter 9: Modular Structures as Dependent Types in Isabelle
Altmetric Badge

Readers on

mendeley
1 Mendeley
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
Modular Structures as Dependent Types in Isabelle
Chapter number 9
Book title
Types for Proofs and Programs
Published by
Springer, Berlin, Heidelberg, March 1998
DOI 10.1007/3-540-48167-2_9
Book ISBNs
978-3-54-066537-3, 978-3-54-048167-6
Authors

Florian Kammüller, Kammüller, Florian

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Germany 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 100%
Readers by discipline Count As %
Mathematics 1 100%

This page is provided by Altmetric.