Re: [TYPES] Algorithm W as elaboration into System F
Jelle Herold <jelle-kIsX6l2ZSilmR6Xm/[email protected]> Fri, 3 Jul 2026 12:21:07 +0200
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <CAB8-K=QB2+Rumu5BpAjrUZbK5Kt8LOeAPt4McQVojnS8DwxAOw@mail.gmail.com> |
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp c3RpbmZvL3R5cGVzLWxpc3QgXQpPbiBUaHUsIEp1biAyNSwgMjAyNiwgODoyNOKAr1BNIFJ5YW4g V2lzbmVza3kgPHdpc25lc2t5QGdtYWlsLmNvbT4gd3JvdGU6Cgo+IFsgVGhlIFR5cGVzIEZvcnVt LCBodHRwOi8vbGlzdHMuc2Vhcy51cGVubi5lZHUvbWFpbG1hbi9saXN0aW5mby90eXBlcy1saXN0 IAo+IF0KPiBIaSBBbGwsCj4KPiBbLi5dIFRoZSBhdHRhY2hlZCBpbWFnZSBzaG93cyBbLi4uXQoK ClRoZSBpbWFnZSBzZWVtcyB0byBiZSBtaXNzaW5nCgpCZXN0LApKZWxsZQo=