The Lawrence-Sullivan construction is the right model for \(I^{+}\)

From MaRDI portal
Publication:1945742