KOROVINA, M. Recent Advances in Σ-definability over Continuous Data Types. BRICS Report Series, [S. l.], v. 10, n. 23, 2003. DOI: 10.7146/brics.v10i23.21793. Disponível em: https://tidsskrift.dk/brics/article/view/21793. Acesso em: 25 apr. 2024.