A constructive game semantics for the language of linear logic