There is no safe pairing function over an arbitrary structure

From MaRDI portal
Publication:5485489