↓ Skip to main content
What is this page? Embed badge

Typed Lambda Calculi and Applications

Overview of attention for book
Cover of 'Typed Lambda Calculi and Applications'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Type-Directed Compilation in the Wild: Haskell and Core
  3. Altmetric Badge
    Chapter 2 Proving with Side Effects
  4. Altmetric Badge
    Chapter 3 Non-linearity as the Metric Completion of Linearity
  5. Altmetric Badge
    Chapter 4 Typed Lambda Calculi and Applications
  6. Altmetric Badge
    Chapter 5 Non-determinism, Non-termination and the Strong Normalization of System T
  7. Altmetric Badge
    Chapter 6 Proof-Relevant Logical Relations for Name Generation
  8. Altmetric Badge
    Chapter 7 Games with Sequential Backtracking and Complete Game Semantics for Subclassical Logics
  9. Altmetric Badge
    Chapter 8 Realizability for Peano Arithmetic with Winning Conditions in HON Games
  10. Altmetric Badge
    Chapter 9 The Resource Lambda Calculus Is Short-Sighted in Its Relational Model
  11. Altmetric Badge
    Chapter 10 Bounding Skeletons, Locally Scoped Terms and Exact Bounds for Linear Head Reduction
  12. Altmetric Badge
    Chapter 11 Intersection Type Matching with Subtyping
  13. Altmetric Badge
    Chapter 12 A Type-Checking Algorithm for Martin-Löf Type Theory with Subtyping Based on Normalisation by Evaluation
  14. Altmetric Badge
    Chapter 13 Typed Lambda Calculi and Applications
  15. Altmetric Badge
    Chapter 14 Generalizations of Hedberg’s Theorem
  16. Altmetric Badge
    Chapter 15 Using Models to Model-Check Recursive Schemes
  17. Altmetric Badge
    Chapter 16 On Interaction, Continuations and Defunctionalization
  18. Altmetric Badge
    Chapter 17 Completeness of Conversion between Reactive Programs for Ultrametric Models
  19. Altmetric Badge
    Chapter 18 A Constructive Model of Uniform Continuity
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
1 Mendeley
Summary X
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
Typed Lambda Calculi and Applications
Published by
Springer Berlin Heidelberg, May 2013
DOI 10.1007/978-3-642-38946-7
ISBNs
978-3-64-238945-0, 978-3-64-238946-7
Editors

Hasegawa, Masahito

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.
 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 %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Other 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.