Expansibilidade em cálculos de substituições explícitas

Detalhes bibliográficos
Autor(a) principal: Silva, Fábio Henrique da
Data de Publicação: 2012
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UnB
Texto Completo: http://repositorio.unb.br/handle/10482/13737
Resumo: Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2012.
id UNB_726de31df032545d81978105a5410d2b
oai_identifier_str oai:repositorio2.unb.br:10482/13737
network_acronym_str UNB
network_name_str Repositório Institucional da UnB
repository_id_str
spelling Silva, Fábio Henrique daVentura, Daniel LimaAyala-Rincón, Mauricio2013-07-29T13:03:08Z2013-07-29T13:03:08Z2013-07-292012-11-29SILVA, Fábio Henrique da. Expansibilidade em cálculos de substituições explícitas. 2012. 48 f., il. Dissertação (Mestrado em Informática)—Universidade de Brasília, Brasília, 2012.http://repositorio.unb.br/handle/10482/13737Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2012.Os cálculos de Substituições Explícitas (CSEs) são variações do cálculo λ que especificam de maneira concreta a operação de substituição, definida de maneira implícita no cálculo λ. Estes cálculos estendem a linguagem do cálculo λ de maneira a atomizar os passos envolvidos numa aplicação concreta da operação de substituição. Este trabalho abordará a propriedade de expansibilidade em alguns CSEs que podemos dizer que seja uma investigação do passado de um termo. Esta propriedade é interessante quando este passado nos revela um termo puro, ou seja, um termo pertencente à linguagem do cálculo λ Para isso fez-se necessário estudar várias outras propriedades, como a simulação da regra β do cálculo λ, a correção da regra (B) no λ? -cálculo e, a propriedade de Projeção do λ?-cálculo e do λσ-cálculo. O objetivo é estudar o problema de expansão no lambda sigma-cálculo, e para isso observamos os resultados de Ariel Arbiser no lambda upsilon-cálculo, em que o Teorema de Scott foi uma ferramenta crucial. _______________________________________________________________________________________ ABSTRACTCalculi of Explicit Substitutions (CSEs) are variants of the λ calculus which specify concretely the substitution operation, defined implicitly in the λ calculus. These calculi extend the language of λ calculus in order to atomize the steps involved in the practical application of replacement operation. This work will discuss the expansion property in some CSEs, that it is an investigation of the past of a term. This property is interesting when it discloses a past term pure, i.e. a term belonging to the language of λ calculus. For this it was necessary to study several other properties, such as the simulation of rule β of λ calculus, the correction of the rule (B) in λ?-calculus and the property projection of λ?-calculus and the λσ-calculus. The goal is to study the expansion problem in the λσ-calculus and verify the aplication of the results of Ariel Arbiser in the λ?-calculi, in which the Scott Theorem was a crucial tool.A concessão da licença deste item refere-se ao termo de autorização impresso assinado pelo autor com as seguintes condições: Na qualidade de titular dos direitos de autor da publicação, autorizo a Universidade de Brasília e o IBICT a disponibilizar por meio dos sites www.bce.unb.br, www.ibict.br, http://hercules.vtls.com/cgi-bin/ndltd/chameleon?lng=pt&skin=ndltd sem ressarcimento dos direitos autorais, de acordo com a Lei nº 9610/98, o texto integral da obra disponibilizada, conforme permissões assinaladas, para fins de leitura, impressão e/ou download, a título de divulgação da produção científica brasileira, a partir desta data.info:eu-repo/semantics/openAccessExpansibilidade em cálculos de substituições explícitasinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisComputação - matemáticaMatemáticaporreponame:Repositório Institucional da UnBinstname:Universidade de Brasília (UnB)instacron:UNBORIGINAL2012_FabioHenriquedaSilva.pdf2012_FabioHenriquedaSilva.pdfapplication/pdf552243http://repositorio2.unb.br/jspui/bitstream/10482/13737/1/2012_FabioHenriquedaSilva.pdfe64f674891aeafd428d4d66fd0fe9706MD51open accessLICENSElicense.txtlicense.txttext/plain773http://repositorio2.unb.br/jspui/bitstream/10482/13737/2/license.txtc92b84aace618bba41638e92d5da66feMD52open access10482/137372023-07-14 15:56:18.071open accessoai:repositorio2.unb.br:10482/13737TGljZW5zZSBncmFudGVkIGJ5IEFsYcOtZGUgR29uw6dhbHZlcyBkb3MgU2FudG9zIChhbGFpZGVAdW5iLmJyKSBvbiAyMDEzLTA0LTI2VDE1OjUzOjE1WiAoR01UKToKCkEgY29uY2Vzc8OjbyBkYSBsaWNlbsOnYSBkZXN0YSBjb2xlw6fDo28gcmVmZXJlLXNlIGFvIHRlcm1vIGRlIGF1dG9yaXphw6fDo28gaW1wcmVzc28gYXNzaW5hZG8gDQpwZWxvIGF1dG9yIGNvbSBhcyBzZWd1aW50ZXMgY29uZGnDp8O1ZXM6DQoNCk5hIHF1YWxpZGFkZSBkZSB0aXR1bGFyIGRvcyBkaXJlaXRvcyBkZSBhdXRvciBkYSBwdWJsaWNhw6fDo28sIGF1dG9yaXpvIGEgVW5pdmVyc2lkYWRlIGRlIEJyYXPDrWxpYQ0KIGUgbyBJQklDVCBhIGRpc3BvbmliaWxpemFyIHBvciBtZWlvIGRvcyBzaXRlcyB3d3cuYmNlLnVuYi5iciwgd3d3LmliaWN0LmJyLA0KIGh0dHA6Ly9oZXJjdWxlcy52dGxzLmNvbS9jZ2ktYmluL25kbHRkL2NoYW1lbGVvbj9sbmc9cHQmc2tpbj1uZGx0ZCBzZW0gcmVzc2FyY2ltZW50byBkb3MgDQpkaXJlaXRvcyBhdXRvcmFpcywgZGUgYWNvcmRvIGNvbSBhIExlaSBuwrogOTYxMC85OCwgbyB0ZXh0byBpbnRlZ3JhbCBkYSBvYnJhIGRpc3BvbmliaWxpemFkYSwNCiBjb25mb3JtZSBwZXJtaXNzw7VlcyBhc3NpbmFsYWRhcywgcGFyYSBmaW5zIGRlIGxlaXR1cmEsIGltcHJlc3PDo28gZS9vdSBkb3dubG9hZCwgYSB0w610dWxvIGRlIA0KZGl2dWxnYcOnw6NvIGRhIHByb2R1w6fDo28gY2llbnTDrWZpY2EgYnJhc2lsZWlyYSwgYSBwYXJ0aXIgZGVzdGEgZGF0YS4=Biblioteca Digital de Teses e DissertaçõesPUBhttps://repositorio.unb.br/oai/requestopendoar:2023-07-14T18:56:18Repositório Institucional da UnB - Universidade de Brasília (UnB)false
dc.title.en.fl_str_mv Expansibilidade em cálculos de substituições explícitas
title Expansibilidade em cálculos de substituições explícitas
spellingShingle Expansibilidade em cálculos de substituições explícitas
Silva, Fábio Henrique da
Computação - matemática
Matemática
title_short Expansibilidade em cálculos de substituições explícitas
title_full Expansibilidade em cálculos de substituições explícitas
title_fullStr Expansibilidade em cálculos de substituições explícitas
title_full_unstemmed Expansibilidade em cálculos de substituições explícitas
title_sort Expansibilidade em cálculos de substituições explícitas
author Silva, Fábio Henrique da
author_facet Silva, Fábio Henrique da
author_role author
dc.contributor.advisorco.none.fl_str_mv Ventura, Daniel Lima
dc.contributor.author.fl_str_mv Silva, Fábio Henrique da
dc.contributor.advisor1.fl_str_mv Ayala-Rincón, Mauricio
contributor_str_mv Ayala-Rincón, Mauricio
dc.subject.keyword.en.fl_str_mv Computação - matemática
Matemática
topic Computação - matemática
Matemática
description Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2012.
publishDate 2012
dc.date.submitted.none.fl_str_mv 2012-11-29
dc.date.accessioned.fl_str_mv 2013-07-29T13:03:08Z
dc.date.available.fl_str_mv 2013-07-29T13:03:08Z
dc.date.issued.fl_str_mv 2013-07-29
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv SILVA, Fábio Henrique da. Expansibilidade em cálculos de substituições explícitas. 2012. 48 f., il. Dissertação (Mestrado em Informática)—Universidade de Brasília, Brasília, 2012.
dc.identifier.uri.fl_str_mv http://repositorio.unb.br/handle/10482/13737
identifier_str_mv SILVA, Fábio Henrique da. Expansibilidade em cálculos de substituições explícitas. 2012. 48 f., il. Dissertação (Mestrado em Informática)—Universidade de Brasília, Brasília, 2012.
url http://repositorio.unb.br/handle/10482/13737
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Repositório Institucional da UnB
instname:Universidade de Brasília (UnB)
instacron:UNB
instname_str Universidade de Brasília (UnB)
instacron_str UNB
institution UNB
reponame_str Repositório Institucional da UnB
collection Repositório Institucional da UnB
bitstream.url.fl_str_mv http://repositorio2.unb.br/jspui/bitstream/10482/13737/1/2012_FabioHenriquedaSilva.pdf
http://repositorio2.unb.br/jspui/bitstream/10482/13737/2/license.txt
bitstream.checksum.fl_str_mv e64f674891aeafd428d4d66fd0fe9706
c92b84aace618bba41638e92d5da66fe
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UnB - Universidade de Brasília (UnB)
repository.mail.fl_str_mv
_version_ 1801863853122781184

Registros relacionados