TY  - RPRT
TI  - Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress)
AU  - Jan Rochel
AU  - Clemens Grabmayer
PY  - 2011
DO  - 10.4204/eptcs.48.9
UR  - https://arxiv.org/abs/1102.2656
ID  - 1102.2656
ER  -