Post #2049503
2026-04-17 10:40 UTC
My colleagues in Marseille have a 90-pages paper on "Extensional Taylor Expansion" (of untyped λ-terms) that was just published yesterday in TheoretiCS!
https://theoretics.episciences.org/18030
Replies (1)
-
@nemobis@mamot.fr 2026-04-17 10:51
@tito@social.sciences.re I have no idea what this is about but I've read the first two pages and I'm already hooked. Dangerous rabbit hole.