One or Nothing: Anti-unification over the Simply-Typed Lambda Calculus. - David M. Cerna; Michal Buran (ACM Trans. Comput. Log., 2024)