Pantheon Repositório Institucional da UFRJ
Coleta, preserva e divulga a produção acadêmica digital em todas as áreas do conhecimento.
São os ativos do repositório, além de teses e dissertações da UFRJ, artigos científicos, livros eletrônicos, capítulos de livros e trabalhos apresentados em eventos por professores, pesquisadores, funcionários administrativos e alunos de mestrado e doutorado.
Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/11422/14785| Tipo: | Trabalho de conclusão de graduação |
| Título: | Uma construção categórica de um modelo do cálculo lambda |
| Autor(es)/Inventor(es): | Soares, Alexandre Costard |
| Orientador: | Nóbrega, Hugo de Holanda Cunha |
| Resumo: | Desenvolvido na década de 1930, o cálculo lambda captura a noção de computabilidade de maneira distinta, porém equivalente, às máquinas de Turing, o que permitiu que ele encontrasse aplicações importantes na matemática e na computação, em particular na teoria das linguagens de programação. Seu primeiro modelo não trivial foi construído usando topologia e publicado em 1970. Este trabalho detalha uma derivação desse modelo usando teoria de domínios e teoria das categorias. |
| Palavras-chave: | Lógica matemática Modelos matemáticos Teoria de categorias Análise de domínio |
| Assunto CNPq: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO |
| Unidade produtora: | Instituto de Computação |
| Editora: | Universidade Federal do Rio de Janeiro |
| Data de publicação: | 15-Jun-2021 |
| País de publicação: | Brasil |
| Idioma da publicação: | por |
| Tipo de acesso: | Acesso Aberto |
| Aparece nas coleções: | Ciência da Computação |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| ACSoares.pdf | 227.02 kB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.