The description of interaction nets sounds a bit like hash-consing, with some extra optimisations.