↓ Skip to main content

Types for Proofs and Programs

Overview of attention for book
Attention for Chapter 1: Communicating contexts: A pragmatic approach to information exchange
Altmetric Badge

Citations

dimensions_citation
5 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.
Chapter title
Communicating contexts: A pragmatic approach to information exchange
Chapter number 1
Book title
Types for Proofs and Programs
Published by
Springer, Berlin, Heidelberg, June 1994
DOI 10.1007/3-540-60579-7_1
Book ISBNs
978-3-54-060579-9, 978-3-54-047770-9
Authors

René Ahn, Ahn, René

Mendeley readers

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 %
United States 1 20%
Singapore 1 20%
Unknown 3 60%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 40%
Professor > Associate Professor 1 20%
Student > Postgraduate 1 20%
Student > Master 1 20%
Readers by discipline Count As %
Economics, Econometrics and Finance 2 40%
Philosophy 1 20%
Computer Science 1 20%
Engineering 1 20%