On abstract normalisation beyond neededness

Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos. On abstract normalisation beyond neededness. Theoretical Computer Science, 672:36-63, 2017. [doi]

Authors

Eduardo Bonelli

This author has not been identified. It may be one of the following persons: Look up 'Eduardo Bonelli' in Google

Delia Kesner

This author has not been identified. Look up 'Delia Kesner' in Google

Carlos Lombardi

This author has not been identified. Look up 'Carlos Lombardi' in Google

Alejandro Ríos

This author has not been identified. Look up 'Alejandro Ríos' in Google