Title: Representation of lambda-calculus terms by term-hypergraphs
First published: 1992