LYON, Tim S.; CIABATTONI, Agata; GALMICHE, Didier; GIRLANDO, Marianna; LARCHEY-WENDLING, Dominique; MÉRY, Daniel; OLIVETTI, Nicola; RAMANAYAKE, Revantha. Internal and External Calculi: Ordering the Jungle without Being Lost in Translations. Bulletin of the Section of Logic, [S. l.], v. 54, n. 1, p. 59–151, 2025. DOI: 10.18778/0138-0680.2025.02. Disponível em: https://czasopisma.uni.lodz.pl/bulletin/article/view/24259. Acesso em: 6 dec. 2025.