TY  - RPRT
TI  - A strong call-by-need calculus
AU  - Thibaut Balabonski
AU  - Antoine Lanco
AU  - Guillaume Melquiond
PY  - 2023
DO  - 10.46298/lmcs-19(1:21)2023
UR  - https://arxiv.org/abs/2111.01485
ID  - 2111.01485
ER  -