Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Concurrent Games and Full Completeness Samson Abramsky

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

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:


Source: Abramsky, Samson - Computing Laboratory, University of Oxford


Collections: Computer Technologies and Information Sciences