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: | Arbiser, A. |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_0955792X_v18_n6_p849_Arbiser |
| Aporte de: |
Ejemplares similares
-
The expansion problem in lambda calculi with explicit substitution
Publicado: (2008) -
The weak normalization of the simply typed λse-calculus
por: Arbiser, A., et al. -
The weak normalization of the simply typed λse-calculus
Publicado: (2007) -
Factoring Derivation Spaces via Intersection Types
por: Barenbaum, P., et al. -
Factoring Derivation Spaces via Intersection Types
Publicado: (2018)