Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress)

Published in: TERMGRAPH (2011)

Keyphrases