Typed Lambda Calculi and Applications
Springer Science & Business Media
Title |
Typed Lambda Calculi and Applications
|
---|---|
Published by |
Springer Science & Business Media, March 1993
|
DOI | 10.1007/bfb0037093 |
ISBNs |
978-3-54-056517-8, 978-3-54-047586-6
|
Editors |
Bezem, Marc, Groote, Jan Friso |
Country | Count | As % |
---|---|---|
United Kingdom | 2 | 50% |
Denmark | 1 | 25% |
Unknown | 1 | 25% |
Type | Count | As % |
---|---|---|
Members of the public | 4 | 100% |
Country | Count | As % |
---|---|---|
Portugal | 2 | 200% |
India | 1 | 100% |
Germany | 1 | 100% |
Spain | 1 | 100% |
Taiwan | 1 | 100% |
Japan | 1 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Student > Bachelor | 7 | 700% |
Researcher | 5 | 500% |
Student > Ph. D. Student | 5 | 500% |
Student > Master | 4 | 400% |
Professor | 3 | 300% |
Other | 5 | 500% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 20 | 2000% |
Mathematics | 3 | 300% |
Environmental Science | 1 | 100% |
Philosophy | 1 | 100% |
Business, Management and Accounting | 1 | 100% |
Other | 3 | 300% |