The expansion problem in lambda calculi with explicit substitution
In this article, we address the problem of expansion with respect to rules of a calculus with explicit substitution. Mainly, we analyse the λυ- and λs-calculi sets of terms having the property of expansion to pure terms, as minimal sets of terms for these calculi. We prove that, contrarily to what h...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_0955792X_v18_n6_p849_Arbiser |
| Aporte de: |
| id |
todo:paper_0955792X_v18_n6_p849_Arbiser |
|---|---|
| record_format |
dspace |
| spelling |
todo:paper_0955792X_v18_n6_p849_Arbiser2023-10-03T15:51:48Z The expansion problem in lambda calculi with explicit substitution Arbiser, A. Context-free Expansion Explicit substitution Lambda calculus Lambda upsilon Lambda's Recursiv set Biomineralization Differentiation (calculus) Pathology Context-free Explicit substitution Lambda calculus Lambda upsilon Lambda's Recursiv set Calculations In this article, we address the problem of expansion with respect to rules of a calculus with explicit substitution. Mainly, we analyse the λυ- and λs-calculi sets of terms having the property of expansion to pure terms, as minimal sets of terms for these calculi. We prove that, contrarily to what happens in the λx-calculus in which this set is trivial, for λυ and λs they are proper and non-recursive, so a calculus based on a minimal set of terms has a syntax which is not context-free and hence cannot be presented in the usual way. © The Author, 2008. Published by Oxford University Press. All rights reserved. JOUR info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_0955792X_v18_n6_p849_Arbiser |
| institution |
Universidad de Buenos Aires |
| institution_str |
I-28 |
| repository_str |
R-134 |
| collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
| topic |
Context-free Expansion Explicit substitution Lambda calculus Lambda upsilon Lambda's Recursiv set Biomineralization Differentiation (calculus) Pathology Context-free Explicit substitution Lambda calculus Lambda upsilon Lambda's Recursiv set Calculations |
| spellingShingle |
Context-free Expansion Explicit substitution Lambda calculus Lambda upsilon Lambda's Recursiv set Biomineralization Differentiation (calculus) Pathology Context-free Explicit substitution Lambda calculus Lambda upsilon Lambda's Recursiv set Calculations Arbiser, A. The expansion problem in lambda calculi with explicit substitution |
| topic_facet |
Context-free Expansion Explicit substitution Lambda calculus Lambda upsilon Lambda's Recursiv set Biomineralization Differentiation (calculus) Pathology Context-free Explicit substitution Lambda calculus Lambda upsilon Lambda's Recursiv set Calculations |
| description |
In this article, we address the problem of expansion with respect to rules of a calculus with explicit substitution. Mainly, we analyse the λυ- and λs-calculi sets of terms having the property of expansion to pure terms, as minimal sets of terms for these calculi. We prove that, contrarily to what happens in the λx-calculus in which this set is trivial, for λυ and λs they are proper and non-recursive, so a calculus based on a minimal set of terms has a syntax which is not context-free and hence cannot be presented in the usual way. © The Author, 2008. Published by Oxford University Press. All rights reserved. |
| format |
JOUR |
| author |
Arbiser, A. |
| author_facet |
Arbiser, A. |
| author_sort |
Arbiser, A. |
| title |
The expansion problem in lambda calculi with explicit substitution |
| title_short |
The expansion problem in lambda calculi with explicit substitution |
| title_full |
The expansion problem in lambda calculi with explicit substitution |
| title_fullStr |
The expansion problem in lambda calculi with explicit substitution |
| title_full_unstemmed |
The expansion problem in lambda calculi with explicit substitution |
| title_sort |
expansion problem in lambda calculi with explicit substitution |
| url |
http://hdl.handle.net/20.500.12110/paper_0955792X_v18_n6_p849_Arbiser |
| work_keys_str_mv |
AT arbisera theexpansionprobleminlambdacalculiwithexplicitsubstitution AT arbisera expansionprobleminlambdacalculiwithexplicitsubstitution |
| _version_ |
1807320918295314432 |