RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Complexity of $\lambda $-term reductions

M. Dezani-Ciancaglini, S. Ronchi Della Rocca and L. Saitta

RAIRO. Inform. théor., 13 3 (1979) 257-287

Published online: 01 February 2017

DOI: 10.1051/ita/1979130302571

M. Dezani-Ciancaglini

S. Ronchi Della Rocca

L. Saitta

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)