[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Dear types-list,
As the subject indicates, I'm looking for a scan of C. P. Wadsworth's
PhD thesis, "Semantics and Pragmatics of the Lambda-Calculus". Does
anyone know where to find this?
(A few libraries do have paper of film copies:
https://search.worldcat.org/fr/title/semantics-and-pragmatics-of-the-lambda-calculus/oclc/174145578,
some of which may offer to their members to obtain free scans?
Unfortunately I'm living quite far away from any of these libraries...)
Regards,
Rémy.
