[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