Download citation

Complexity of $\lambda $-term reductions

RAIRO. Inform. théor., 13 3 (1979) 257-287
DOI: https://doi.org/10.1051/ita/1979130302571