↓ Skip to main content

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 25 A λ-to-CL translation for strong normalization
  3. Altmetric Badge
    Chapter 26 Typed intermediate languages for shape analysis
  4. Altmetric Badge
    Chapter 27 Minimum information code in a pure functional language with data types
  5. Altmetric Badge
    Chapter 28 Matching constraints for the Lambda Calculus of Objects
  6. Altmetric Badge
    Chapter 29 Coinductive axiomatization of recursive type equality and subtyping
  7. Altmetric Badge
    Chapter 30 A simple adequate categorical model for PCF
  8. Altmetric Badge
    Chapter 31 Logical reconstruction of bi-domains
  9. Altmetric Badge
    Chapter 32 A module calculus for pure type systems
  10. Altmetric Badge
    Chapter 33 An inference algorithm for strictness
  11. Altmetric Badge
    Chapter 34 Primitive recursion for higher-order abstract syntax
  12. Altmetric Badge
    Chapter 35 Eta-expansions in dependent type theory — The calculus of constructions
  13. Altmetric Badge
    Chapter 36 Proof nets, garbage, and computations
  14. Altmetric Badge
    Chapter 37 Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi
  15. Altmetric Badge
    Chapter 38 Games and weak-head reduction for classical PCF
  16. Altmetric Badge
    Chapter 39 A type theoretical view of Böhm-trees
  17. Altmetric Badge
    Chapter 40 Semantic techniques for deriving coinductive characterizations of observational equivalences for λ-calculi
  18. Altmetric Badge
    Chapter 41 Schwichtenberg-style lambda definability is undecidable
  19. Altmetric Badge
    Chapter 42 Outermost-fair rewriting
  20. Altmetric Badge
    Chapter 43 Typed Lambda Calculi and Applications
  21. Altmetric Badge
    Chapter 44 Computational reflection in the calculus of constructions and its application to theorem proving
  22. Altmetric Badge
    Chapter 45 Names, equations, relations: Practical ways to reason about new
  23. Altmetric Badge
    Chapter 46 An axiomatic system of parametricity
  24. Altmetric Badge
    Chapter 47 Inhabitation in typed lambda-calculi (a syntactic approach)
  25. Altmetric Badge
    Chapter 48 Weak and strong beta normalisations in typed λ-calculi
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
3 Wikipedia pages
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, April 2006
DOI 10.1007/3-540-62688-3
ISBNs
978-3-54-062688-6, 978-3-54-068438-1
Editors

Groote, Philippe, Roger Hindley, J.