Hypergraph Representation of Lambda-Terms.

Alimujiang Yasen, Kazunori Ueda

Browse the full TASE paper archive.