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...

Descripción completa

Guardado en:

Detalles Bibliográficos
Publicado:	2008
Materias:	Context-free Expansion Explicit substitution Lambda calculus Lambda upsilon Lambda's Recursiv set Biomineralization Differentiation (calculus) Pathology Calculations
Acceso en línea:	https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_0955792X_v18_n6_p849_Arbiser http://hdl.handle.net/20.500.12110/paper_0955792X_v18_n6_p849_Arbiser
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	paper:paper_0955792X_v18_n6_p849_Arbiser
record_format	dspace
spelling	paper:paper_0955792X_v18_n6_p849_Arbiser2023-06-08T15:55:55Z The expansion problem in lambda calculi with explicit substitution 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. 2008 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_0955792X_v18_n6_p849_Arbiser 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 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.
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
publishDate	2008
url	https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_0955792X_v18_n6_p849_Arbiser http://hdl.handle.net/20.500.12110/paper_0955792X_v18_n6_p849_Arbiser
_version_	1768544740408557568

The expansion problem in lambda calculi with explicit substitution

Ejemplares similares