RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Easy lambda-terms are not always simple

Alberto Carraro and Antonino Salibra

RAIRO-Theor. Inf. Appl., 46 2 (2012) 291-314

Published online: 23 February 2012

DOI: 10.1051/ita/2012005

Alberto Carraro

Antonino Salibra

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)