![](/img/cover-not-exists.png)
On abstract normalisation beyond neededness
Bonelli, Eduardo, Kesner, Delia, Lombardi, Carlos, Ríos, AlejandroVolume:
672
Language:
english
Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2017.01.025
Date:
April, 2017
File:
PDF, 808 KB
english, 2017