WINSKEL, G. Semantics, Algorithmics and Logic: Basic Research in Computer Science. BRICS Inaugural Talk. BRICS Report Series, [S. l.], v. 1, n. 1, 1994. DOI: 10.7146/brics.v1i1.21669. Disponível em: https://tidsskrift.dk/brics/article/view/21669. Acesso em: 19 oct. 2024.