TY  - RPRT
TI  - A quantum let within the lambda calculus
AU  - Alejandro Díaz-Caro
AU  - Tomás Miguez
PY  - 2026
UR  - https://arxiv.org/abs/2608.29380
ID  - 2608.29380
ER  -