A simple type theory without Platonic domains

From MaRDI portal
Publication:795812