Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: learning: reading & references

Topic: Looking for a (classic) paper

view this post on Zulip Alejandro Díaz-Caro (May 15 2024 at 17:21):

I am trying to find this paper and cannot find it anywhere:

J. Lambek. From λ-calculus to cartesian closed categories. In J. R. Hindley and J. P. Seldin, editors. To H. B. Curry, Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, London, 1980.

Does anybody know where I can get it?

view this post on Zulip davidad (David Dalrymple) (May 15 2024 at 18:13):

Yes! I went to the MIT Libraries in 2016 to digitize this paper. Here: https://drive.google.com/file/d/0B-ox998pGwSzZlNfRnEwSzRMbkE/view?usp=drivesdk&resourcekey=0-AW7Pmt6_H96reNIhezFiTQ

view this post on Zulip Alejandro Díaz-Caro (May 15 2024 at 18:17):

Amazing! Thank you!

view this post on Zulip Kevin Carlson (May 16 2024 at 07:23):

I wonder whether there’s any straightforward way to add such a scan to SciHub.

view this post on Zulip Eric M Downes (May 16 2024 at 15:34):

FWIW seems like it is; the whole book "To H.B. Curry, Essays ..." appears to be on anna's archive, which indexes libgen and scihub. One might need to think of searching for the series instead of the specific article.

view this post on Zulip Alejandro Díaz-Caro (May 16 2024 at 16:48):

I didn't know anna's archive! Thanks.