Guilherme Augusto Anício Drummond do Nascimento, Elton Máximo Cardoso, Samuel da Silva Feitosa, and Rodrigo Ribeiro. 2026.
Strong Normalization for Well-Typed Parsing Expression Grammars. In Anais do XXX Simpósio Brasileiro de Linguagens de Programação, setembro 08, 2026, São Paulo/SP, Brasil. SBC, Porto Alegre, Brasil, 46-53. DOI: https://doi.org/10.5753/sblp.2026.27720.