↓ 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 Type Inference by Coinductive Logic Programming
  3. Altmetric Badge
    Chapter 2 About the Formalization of Some Results by Chebyshev in Number Theory
  4. Altmetric Badge
    Chapter 3 A New Elimination Rule for the Calculus of Inductive Constructions
  5. Altmetric Badge
    Chapter 4 A Framework for the Analysis of Access Control Models for Interactive Mobile Devices
  6. Altmetric Badge
    Chapter 5 Proving Infinitary Normalization
  7. Altmetric Badge
    Chapter 6 First-Class Object Sets
  8. Altmetric Badge
    Chapter 7 Monadic Translation of Intuitionistic Sequent Calculus
  9. Altmetric Badge
    Chapter 8 Towards a Type Discipline for Answer Set Programming
  10. Altmetric Badge
    Chapter 9 Type Inference for a Polynomial Lambda Calculus
  11. Altmetric Badge
    Chapter 10 Local Theory Specifications in Isabelle/Isar
  12. Altmetric Badge
    Chapter 11 Axiom Directed Focusing
  13. Altmetric Badge
    Chapter 12 A Type System for Usage of Software Components
  14. Altmetric Badge
    Chapter 13 Merging Procedural and Declarative Proof
  15. Altmetric Badge
    Chapter 14 Using Structural Recursion for Corecursion
  16. Altmetric Badge
    Chapter 15 Manifest Fields and Module Mechanisms in Intensional Type Theory
  17. Altmetric Badge
    Chapter 16 A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq
  18. Altmetric Badge
    Chapter 17 Coalgebraic Reasoning in Coq: Bisimulation and the λ -Coiteration Scheme
  19. Altmetric Badge
    Chapter 18 A Process-Model for Linear Programs
  20. Altmetric Badge
    Chapter 19 Some Complexity and Expressiveness Results on Multimodal and Stratified Proof Nets
Attention for Chapter 11: Axiom Directed Focusing
Altmetric Badge

Readers on

mendeley
2 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
Axiom Directed Focusing
Chapter number 11
Book title
Types for Proofs and Programs
Published by
Springer, Berlin, Heidelberg, March 2008
DOI 10.1007/978-3-642-02444-3_11
Book ISBNs
978-3-64-202443-6, 978-3-64-202444-3
Authors

Clément Houtmann, Houtmann, Clément

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Germany 2 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 2 100%
Readers by discipline Count As %
Computer Science 2 100%

This page is provided by Altmetric.