Polarized and focalized linear and classical proofs (2005)

by O Laurent, M Quatrini, L T de Falco
Venue:Ann. Pure Appl. Logic