2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
M. Pedicini, F. Quaglia
In this article we present the implementation of an environment supporting Lévy's \emph{optimal reduction} for the λ-calculus \cite{Lev78} on parallel (or distributed) computing…