TY  - RPRT
TI  - Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
AU  - Sean Walsh
PY  - 2026
DO  - 10.46298/lmcs-22(3:4)2026
UR  - https://arxiv.org/abs/2410.17463
ID  - 2410.17463
ER  -