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

Soares, Alexandre Costard

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

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	Nóbrega, Hugo de Holanda Cunha	-
dc.contributor.author	Soares, Alexandre Costard	-
dc.date.accessioned	2021-08-16T21:32:34Z	-
dc.date.available	2023-12-21T03:08:06Z	-
dc.date.issued	2021-06-15	-
dc.identifier.uri	http://hdl.handle.net/11422/14785	-
dc.language	por	pt_BR
dc.publisher	Universidade Federal do Rio de Janeiro	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.subject	Lógica matemática	pt_BR
dc.subject	Modelos matemáticos	pt_BR
dc.subject	Teoria de categorias	pt_BR
dc.subject	Análise de domínio	pt_BR
dc.title	Uma construção categórica de um modelo do cálculo lambda	pt_BR
dc.type	Trabalho de conclusão de graduação	pt_BR
dc.contributor.advisorLattes	http://lattes.cnpq.br/6062840240299930	pt_BR
dc.contributor.authorLattes	http://lattes.cnpq.br/0973457833906585	pt_BR
dc.contributor.referee1	Paixão, João Antônio Recio da	-
dc.contributor.referee1Lattes	http://lattes.cnpq.br/5705386762324718	pt_BR
dc.contributor.referee2	Coutinho, Severino Collier	-
dc.contributor.referee2Lattes	http://lattes.cnpq.br/1416717596426384	pt_BR
dc.description.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.	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.department	Instituto de Computação	pt_BR
dc.publisher.initials	UFRJ	pt_BR
dc.subject.cnpq	CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::MATEMATICA DA COMPUTACAO	pt_BR
dc.embargo.terms	aberto	pt_BR
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

Show simple item record Recommend this item View Statistics

Pantheon Institutional repository