Uma construção categórica de um modelo do cálculo lambda

Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/14785

Type:	Trabalho de conclusão de graduação
Title:	Uma construção categórica de um modelo do cálculo lambda
Author(s)/Inventor(s):	Soares, Alexandre Costard
Advisor:	Nóbrega, Hugo de Holanda Cunha
Abstract:	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.
Keywords:	Lógica matemática Modelos matemáticos Teoria de categorias Análise de domínio
Subject CNPq:	CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO
Production unit:	Instituto de Computação
Publisher:	Universidade Federal do Rio de Janeiro
Issue Date:	15-Jun-2021
Publisher country:	Brasil
Language:	por
Right access:	Acesso Aberto
Appears in Collections:	Ciência da Computação

Files in This Item:

File	Description	Size	Format
ACSoares.pdf		227.02 kB	Adobe PDF	View/Open

Pantheon Institutional repository