Theory of spaces with dominating mixed derivative