[TYPES] Algorithm W as elaboration into System F

[Jelle Herold]

On Thu, Jun 25, 2026, 8:24 PM Ryan Wisnesky <wisnesky at gmail.com> wrote:

> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list 
> ]
> Hi All,
>
> [..] The attached image shows [...]


The image seems to be missing

Best,
Jelle