A strong call-by-need calculus. - Thibaut Balabonski; Antoine Lanco; Guillaume Melquiond (Log. Methods Comput. Sci., 2023)

Stratégies pour la réduction forte. (Strategies for strong reduction). - Antoine Lanco (2023)