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

This search tool will display articles in our database by authors of the selected article:

Select your author(s):


Search method: