The Very Lazy λ-Calculus and the STEC Machine. - Jan Rochel (IFL, 2009)

Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress) - Jan Rochel; Clemens Grabmayer (TERMGRAPH, 2011)

Expressibility in the Lambda Calculus with Letrec - Clemens Grabmayer; Jan Rochel (CoRR, 2012)

Expressibility in the Lambda Calculus with Mu. - Clemens Grabmayer; Jan Rochel (RTA, 2013)

Term Graph Representations for Cyclic Lambda-Terms - Clemens Grabmayer; Jan Rochel (TERMGRAPH, 2013)

Maximal sharing in the Lambda calculus with letrec. - Clemens Grabmayer; Jan Rochel (ICFP, 2014)

Unfolding Semantics of the Untyped λ-Calculus with letrec. - Jan Rochel (CoRR, 2016)