A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications - José Espírito Santo, Delia Kesner, Loïc Peyrot

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications - José Espírito Santo, Delia Kesner, Loïc Peyrot | Arena