9 citations · 10 across the 3 of their papers we have counts for
1 paper · 1 filter
Clemens Grabmayer, Jan Rochel
We study various representations for cyclic lambda-terms as higher-order or as first-order term graphs. We focus on the relation between 'lambda-higher-order term graphs' (lambda-h…