Generic transformations of predicate encodings: constructions and applications

From MaRDI portal
Publication:1675716