Connexivity Meets Church and Ackermann. - Luis Estrada-González; Miguel Ángel Trejo-Huerta (LORI, 2023)