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

Combinators, λ-Terms and Proof Theory

Overview of attention for book
Cover of 'Combinators, λ-Terms and Proof Theory'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Theory of Combinators and the λ -Calculus
  3. Altmetric Badge
    Chapter 2 The Church-Rosser Property
  4. Altmetric Badge
    Chapter 3 Combinatory Arithmetic
  5. Altmetric Badge
    Chapter 4 Computable Functionals of Finite Type
  6. Altmetric Badge
    Chapter 5 Proofs in the Theory of Species
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

facebook
1 Facebook page

Citations

dimensions_citation
87 Dimensions

Readers on

mendeley
9 Mendeley
Summary Facebook Dimensions citations

This page is provided by Altmetric.