Hypergraph Representation of Lambda-Terms | IEEE Conference Publication | IEEE Xplore