Use este identificador para citar ou linkar para este item: http://repositorio.unb.br/handle/10482/13737
Título: Expansibilidade em cálculos de substituições explícitas
Autor(es): Silva, Fábio Henrique da
Orientador(es): Ayala-Rincón, Mauricio
Assunto: Computação - matemática
Matemática
Data de publicação: 29-Jul-2013
Data de defesa: 29-Nov-2012
Citação: 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.
Resumo: 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. _______________________________________________________________________________________ ABSTRACT
Calculi 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.
Descrição: Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2012.
Licença: 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.
Coorientador(es): Ventura, Daniel Lima
Aparece nas coleções:CIC - Mestrado em Informática (Dissertações)

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
2012_FabioHenriquedaSilva.pdf539,3 kBAdobe PDFVisualizar/Abrir


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.