https://grupo-sem-nome.pages.dev/ https://grupo-sem-nome.pages.dev/papers/ https://grupo-sem-nome.pages.dev/papers/2020-calculational-proofs-in-gla/ 2020-11-19 https://grupo-sem-nome.pages.dev/papers/2021-tcc-alexandre-costard/ 2021-06-15 https://grupo-sem-nome.pages.dev/papers/2022-high-level-axioms-for-gla/ 2022-06-01 https://grupo-sem-nome.pages.dev/papers/2024-converting-concatenative/ 2024-09-30 https://grupo-sem-nome.pages.dev/papers/2024-tcc-hashimoto/ 2024-02-06 https://grupo-sem-nome.pages.dev/papers/2024-tcc-thales-magalhaes/ 2024-04-02 https://grupo-sem-nome.pages.dev/papers/2025-gla-jfp/ 2025-06-18 https://grupo-sem-nome.pages.dev/papers/2025-peg-indentation-sblp/ 2025-08-11 https://grupo-sem-nome.pages.dev/papers/2025-tcc-gabriel-ferreira/ 2025-06-16 https://grupo-sem-nome.pages.dev/papers/2025-tcc-leonardo-santiago/ 2025-12-11 https://grupo-sem-nome.pages.dev/papers/2026-automata-determinization-constructions/ 2026-09-10 https://grupo-sem-nome.pages.dev/papers/2026-correct-gram-schmidt/ 2026-09-10 https://grupo-sem-nome.pages.dev/papers/2026-cpp-lambdas/ 2026-09-10 https://grupo-sem-nome.pages.dev/papers/2026-equational-fixed-point-calculus/ 2026-08-17 https://grupo-sem-nome.pages.dev/papers/2026-tcc-matheus-do-o/ 2026-02-11