On abstract normalisation beyond neededness

We study normalisation of multistep strategies, strategies that reduce a set of redexes at a time, focusing on the notion of necessary sets, those which contain at least one redex that cannot be avoided in order to reach a normal form. This is particularly appealing in the setting of non-sequential...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Bonelli, E., Kesner, D., Lombardi, C., Ríos, A.
Formato: JOUR
Materias:
Neededness
Normalisation
Pattern calculi
Rewriting
Sequentiality
Biomineralization
Differentiation (calculus)
Calculations
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03043975_v672_n_p36_Bonelli
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares