@misc{indiciae4082b660e011,
  title = {Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic},
  author = {Sean Walsh},
  year = {2026},
  doi = {10.46298/lmcs-22(3:4)2026},
  url = {https://arxiv.org/abs/2410.17463},
  note = {Source identifier: 2410.17463}
}