Percorrer por assunto Unifying theories of programming
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
Mai-2012 | Functions as types or the "Hoare logic" of functional dependencies | Oliveira, José Nuno Fonseca | Artigo | Acesso aberto |