arXiv:1403.3772 [cs.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords multiplicative-additive linear behaviours, ludics characterization, second-order multiplicative-additive linear logic, multiplicative-additive linear connectives, first glance Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset