| | |
Summary: Concurrent Games and Full Completeness
Samson Abramsky
LFCS, Division of Informatics
Univ. of Edinburgh
Paul-Andr´e Melli`es
Equipe de Logique Math´ematique
CNRS, Univ. Paris 7
Abstract
A new concurrent form of game semantics is introduced.
This overcomes the problems which had arisen with previ-
ous, sequential forms of game semantics in modelling Lin-
ear Logic. It also admits an elegant and robust formal-
ization. A Full Completeness Theorem for Multiplicative-
Additive Linear Logic is proved for this semantics.
1 Introduction
This paper contains two main contributions:
¡
|
