TY  - RPRT
TI  - An Infinitary Lambda Calculus with Global Trace Condition (Extended Abstract)
AU  - Stefano Berardi
AU  - Ugo de' Liguoro
AU  - Daisuke Kimura
AU  - Daniel Osorio-Valencia
PY  - 2026
UR  - https://arxiv.org/abs/2606.23573
ID  - 2606.23573
ER  -