Percorrer por assunto Atomic system F
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
Mar-2020 | A refined interpretation of intuitionistic logic by means of atomic polymorphism | Espírito Santo, José; Ferreira, Gilda | Artigo | Acesso aberto |