Buscar
Mostrando ítems 1-10 de 4536
A natureza das teorias científicas: uma investigação lógico-filosófica
(Florianópolis, SC, 2022)
Construções categóricas intervalares em Haskell
(Universidade Federal de Pernambuco, 2014)
Uma abordagem para ensino baseada na teoria da aprendizagem significativa utilizando a teoria das categorias
(Universidade Federal de UberlândiaBRPrograma de Pós-graduação em Engenharia ElétricaEngenhariasUFU, 2016)
Haskell Type System Analysis
(Instituto de Informática - Universidade Federal do Rio Grande do Sul, 2018)