[TYPES] Looking for C. P. Wadsworth's PhD thesis
Rémy Cerda
remy.cerda at univ-amu.fr
Sat Dec 16 11:56:56 EST 2023
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.
More information about the Types-list
mailing list