Sharp types revisited.

From MaRDI portal
Publication:1415014