Re: [TYPES] Looking for C. P. Wadsworth's PhD thesis
Rémy Cerda <[email protected]> Sun, 17 Dec 2023 12:55:30 +0100
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <[email protected]> |
This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --===============3979180739771325660== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ] --===============3979180739771325660== Content-Language: fr-FR, en-GB Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------gouuL6xy8Aq08LZIwTfOrSeL" This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------gouuL6xy8Aq08LZIwTfOrSeL Content-Type: multipart/mixed; boundary="------------hTssiO5n0cmNIPPV3210CgcY"; protected-headers="v1" From: =?UTF-8?Q?R=C3=A9my_Cerda?= <[email protected]> To: Ohad Kammar <[email protected]>, "types-list-nHFbR+4dATOoZA3Q9b/[email protected]" <types-list-nHFbR+4dATOoZA3Q9b/[email protected]> Message-ID: <f6d3ce66-d260-418b-a6db-355626f6985f-7jEhasZiHRZWj0EZb7rXcA@public.gmane.org> Subject: Re: [TYPES] Looking for C. P. Wadsworth's PhD thesis References: <cec06d78-f40e-4163-9ae6-95559bfee080-7jEhasZiHRZWj0EZb7rXcA@public.gmane.org> <ZXoJUuTGHHkTBJRa@nid> <c145951e-aa75-4e68-93be-b691907e0028-7jEhasZiHRZWj0EZb7rXcA@public.gmane.org> <AS1PR05MB9154C41D7FF89FC3AE7BEBC9D292A-1aHbPAJwwzZhZP/[email protected]> In-Reply-To: <AS1PR05MB9154C41D7FF89FC3AE7BEBC9D292A-1aHbPAJwwzZhZP/[email protected]> --------------hTssiO5n0cmNIPPV3210CgcY Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 SSBub3cgcmVjZWl2ZWQgdHdvIGRpZmZlcmVudCBzY2FucyBpbiBzZXBhcmF0ZSBlbWFpbHMs IHRoYW5rIHlvdSBhbGwgDQp2ZXJ5IG11Y2ggdG8gbWFrZSB0aGlzIGxpc3Qgc28gaGVscGZ1 bCAoYW5kIGVmZmljaWVudCEpLg0KDQpBbHNvLA0KDQpMZSAxNi8xMi8yMDIzIMOgIDIyOjI5 LCBPaGFkIEthbW1hciBhIMOpY3JpdMKgOg0KPiBUaGlzIG1heSBub3QgYmUgdGhlIGFuc3dl ciB5b3UncmUgbG9va2luZyBmb3IuICguLi4pDQo+DQo+IElmIHlvdSwgb3IgYW55b25lIGVs c2UsIGlzIGZlZWxpbmcgcGFydGljdWxhcmx5IHZpZ29yb3VzLCB5b3UgY2FuIHRyeSANCj4g Z2V0dGluZyBpbiB0b3VjaCB3aXRoIENocmlzdG9waGVyIGFuZCBhc2sgaGltIHRvIGdyYW50 IHRoZSBCb2RsZWlhbiANCj4gdGhlIGNvcHlyaWdodCB0byBwdXQgaGlzIHRoZXNpcyBvbiB0 aGVpciBwdWJsaWMgcmVwb3NpdG9yeSwgT1JBLCBmb3IgDQo+IGZyZWUuIFRoaXMgcHJvY2Vz cyBhbW91bnRzIHRvIHNpZ25pbmcgYSBzaW1wbGUgZm9ybS4gDQoNCnRoYW5rcyBPaGFkIGZv ciB0aGVzZSBkZXRhaWxzLiBJIHdhcyBpbmRlZWQgY29uc2lkZXJpbmcgZ2V0dGluZyBhIHNj YW4gDQpmcm9tIHRoZXJlIGFzIGEgYmFjay11cCBwbGFuLCBidXQgZGlkbid0IGZpbmQgYWxs IHRoaXMgaW5mby4NCkkgZG9uJ3QgcmVhbGx5IGhhdmUgdGhlIHRpbWUgdG8gc3RhcnQgd3Jp dGluZyB0byBDLlcuIHJpZ2h0IG5vdywgYnV0IEkgDQpjb3VsZCB0cnkgd2hhdCB5b3Ugc3Vn Z2VzdCBpbiBhIGZldyBtb250aHMuIEknbGwgZm9sbG93LXVwIG9uIHRoaXMgDQp0aHJlYWQg aW4gY2FzZSBpdCBoYXBwZW5zLg0KDQpSZWdhcmRzLA0KUi4NCg0KDQo= --------------hTssiO5n0cmNIPPV3210CgcY-- --------------gouuL6xy8Aq08LZIwTfOrSeL-- --===============3979180739771325660==--