Nascimento, G., Cardoso, E., Feitosa, S., & Ribeiro, R. 2026 set 8. Strong Normalization for Well-Typed Parsing Expression Grammars. Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP). [Online] :