Authors: Girard, JY Okada, M Scedrov, A

Citation: Jy. Girard et al., Logic, semantics and theory of programming - Preface, THEOR COMP, 227(1-2), 1999, pp. 1-1

Authors: Lincoln, PD Mitchell, JC Scedrov, A

Citation: Pd. Lincoln et al., Optimization complexity of linear logic proof games, THEOR COMP, 227(1-2), 1999, pp. 299-331