12 citations · 26 across the 7 of their papers we have counts for
Showing 2013Show all
3 papers · 1 filter
cs.LO2013
Term Graph Representations for Cyclic Lambda-Terms
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…
cs.PL2013
Expressibility in the Lambda Calculus with mu
Clemens Grabmayer, Jan Rochel
We address a problem connected to the unfolding semantics of functional programming languages: give a useful characterization of those infinite lambda-terms that are lambda_{letrec…
cs.LO2013★ 9 cited
Term Graph Representations for Cyclic Lambda-Terms
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…