Resumos
CTC | Informática
SISTEMA DE RECUPERAÇÃO DE INFORMAÇÕES Busc@NIMA
Aluna: Mariana Duarte de Araujo Salgueiro
Orientador: Prof. Sérgio Lifschitz
PROVANDO A CONSISTÊNCIA DA LÓGICA EM LEAN
Aluno: Luiz Carlos Rumbelsperger Viana
Orientador: Prof. Edward Hermann Haeusler
ESTUDO DO LIVRO "TYPES AND PROGRAMMING LANGUAGES", DE BENJAMIN C. PIERCE
Aluno: Victor Ribeiro Martins
Orientador: Prof. Roberto Ierusalimschy