A parallel game semantics for Linear Logic |
| |
Authors: | Stefano Baratella Stefano Berardi |
| |
Institution: | (1) Dipartimento di Matematica dell'Università di Trento, Povo, I-38050 Povo (TN), Italy (baratella@science.unitn.it), IT;(2) Dipartimento di Informatica dell'Università di Torino, Corso Svizzera 185, I-10149 Torino (TO), Italy (stefano@pianeta.di.unito.it), IT |
| |
Abstract: | We describe the constructive content of proofs in a fragment of propositional Infinitary Linear Logic in terms of strategies
for a suitable class of games. Such strategies interpret linear proofs as parallel algorithms as long as the asymmetry of
the connectives ? and ! allows it.
Received December 5, 1994 |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|