Modeling Terms by Graphs with Structure Constraints (Two Illustrations)

by Clemens Grabmayer
Published 2019-02-01

Term Graph Representations for Cyclic Lambda-Terms

by Jan Rochel, Clemens Grabmayer
Published 2013-02-01

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

by Jan Rochel, Clemens Grabmayer
Published 2011-02-01

Nested Term Graphs (Work In Progress)

by Clemens Grabmayer, Vincent van Oostrom
Published 2015-05-01