Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/14680
Título: | A note on preservation of strong normalisation in the lambda-calculus |
Autor(es): | Espírito Santo, José |
Data: | 2011 |
Editora: | Elsevier 1 |
Revista: | Theoretical Computer Science |
Resumo(s): | An auxiliary notion of reduction ρ on the λ-terms preserves strong normalisation if all strongly normalising terms for β are also strongly normalising for β∪ρ.Wegive a sufficient condition for ρ to preserve strong normalisation. As an example of application, we check easily the sufficient condition for Regnier’s σ-reduction rules and the ‘‘assoc’’-reduction rule inspired by calculi with let-expressions. This gives the simplest proof so far that the union of all these rules preserves strong normalisation. |
Tipo: | Artigo |
URI: | https://hdl.handle.net/1822/14680 |
DOI: | 10.1016/j.tcs.2010.10.049 |
ISSN: | 0304-3975 |
Versão da editora: | http://www.sciencedirect.com/science/article/pii/S0304397510006110 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | CMAT - Artigos em revistas com arbitragem / Papers in peer review journals |