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:
|
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 |
|
|
Á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 |
|
|