↓ Skip to main content

λ-Calculus and Computer Science Theory

Overview of attention for book
Attention for Chapter: A survey of some useful partial order relations on terms of the lambda calculus
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
9 Dimensions

Readers on

mendeley
2 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.
Chapter title
A survey of some useful partial order relations on terms of the lambda calculus
Book title
λ-Calculus and Computer Science Theory
Published by
Springer, Berlin, Heidelberg, January 1975
DOI 10.1007/bfb0029520
Book ISBNs
978-3-54-007416-8, 978-3-54-037944-7
Authors

J. M. E. Hyland, Hyland, J. M. E.

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 %
France 1 50%
Unknown 1 50%

Demographic breakdown

Readers by professional status Count As %
Professor 1 50%
Professor > Associate Professor 1 50%
Readers by discipline Count As %
Mathematics 1 50%
Computer Science 1 50%