Restricting Initial Sequents: The Trade-Offs Between Identity, Contraction and Cut (Q3305560)

From MaRDI portal