7 citations · 19 across the 6 of their papers we have counts for
1 paper · 1 filter
Davide Sangiorgi, Xian Xu
Levy-Longo Trees and Bohm Trees are the best known tree structures on the λ-calculus. We give general conditions under which an encoding of the λ-calculus into the π-calculus is so…