@misc{indiciae498bc41b5f29,
  title = {Some properties of \$β\$-\$η\$-normal forms in \$λ\$-K-calculus (Alcune proprietá delle forme \$β\$-\$η\$-normali nel \$λ\$-K-calcolo)},
  author = {Corrado Böhm and Chun Tian},
  year = {2025},
  url = {https://arxiv.org/abs/2502.05774},
  note = {Source identifier: 2502.05774}
}