9 citations · 10 across the 3 of their papers we have counts for
3 papers
cs.CY2022
Diverse Representation via Computational Participatory Elections -- Lessons from a Case Study
Florian Evéquoz, Johan Rochel, Vijay Keswani +1
Elections are the central institution of democratic processes, and often the elected body -- in either public or private governance -- is a committee of individuals. To ensure the…
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…
cs.PL2011★ 1 cited
Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress)
Jan Rochel, Clemens Grabmayer
For the lambda-calculus with letrec we develop an optimisation, which is based on the contraction of a certain class of 'future' (also: virtual) redexes. In the implementation of f…