Ribeiro, Cláudio, Bruno Silvestre, and Daniel Ventura.
" Sistemas de Tipos para Programação Concorrente Um Estudo de Caso." <em>Anais do V Workshop Brasileiro de Lógica,
Brasília/DF, 2024</em>. SBC, 2024,  
pp.27-37.