Polarized and focalized linear and classical proofs

From MaRDI portal
Publication:556824