Informações Principais      Resumo      Abstract      Introdução      Conclusão      Download            Informações Principais     Semestre: 2015-I Data de Apresentação: 8/7/2015 - Quarta-Feira Hora da Apresentação: 18:30:00 Sala: S-207 Acadêmico(a): André Ramaciotti da Silva Título: Provador interativo de teoremas com tipos dependentes Membros da Banca:     Orientador(a): Joyce Martins   E-mail(s): joyce@furb.br   Currículo Lattes: http://lattes.cnpq.br/3148815370567912   Formação: Mestrado em Ciências da Computação   Área de Concentração: .   Contatos: Sala: T-210-M - Campus IV/Furb     Especialista: Gabriele Jennrich Bambineti   E-mail(s): gjennrich@gmail.com   Currículo Lattes: .   Formação: Especialização   Área de Concentração: Tecnologias para o Desenvolvimento de Aplicação WEB   Contatos: Sala: T-210 - Campus IV/Furb     Convidado(a): Matheus Carvalho Viana   E-mail(s): matheuscviana@gmail.com   Currículo Lattes: http://lattes.cnpq.br/0839323666578855   Formação: Doutorado em Ciência da Computação   Área de Concentração: Engenharia de Software   Contatos: Sala: T-210 - Campus IV/Furb   Área de Concentração: Não definido Linha de Pesquisa: Tecnologias Aplicadas ao Desenvolvimento de Sistemas Curso: Ciência da Computação Nível: Graduação Palavras Chave: Assistente de provas. Linguagens de programação. Sistemas de tipos. Teoria dos tipos dependentes. Keywords: Proof assistant. Programming languages. Type systems. Dependent type theory. Link de Acesso para a Biblioteca: Indisponível