↓ Skip to main content

Combinators, λ-Terms and Proof Theory

Overview of attention for book
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

facebook
1 Facebook page

Citations

dimensions_citation
83 Dimensions

Readers on

mendeley
5 Mendeley
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
Combinators, λ-Terms and Proof Theory
Published by
Springer Netherlands, January 1972
DOI 10.1007/978-94-010-2913-1
ISBNs
978-9-40-102913-1, 978-9-02-770305-7, 978-9-40-102915-5
Authors

S. Stenlund, Stenlund, Sören

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 40%
Professor 1 20%
Lecturer 1 20%
Other 1 20%
Readers by discipline Count As %
Philosophy 3 60%
Mathematics 1 20%
Business, Management and Accounting 1 20%