Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
JoCaml Released.
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-06-06 (15:11)
From: Lukasz Stafiniak <lukstafi@g...>
Subject: Re: polycontextural logic (Re: [Caml-list] JoCaml Released.)
On 6/6/07, Oliver Bandel <> wrote:
> I mentioned that polycontextural logic seems to be the only
> thingy that can describe / formalize parallelism and
> self-reference (e.g. liar-paradoxon) and other interesting things
> in a complete, non-contradictional, non-reductional way.
I'd let myself mention:
"Locus Solum: From the rules of logic to the logic of rules" by
Jean-Yves Girard, 2000.
"Ludics nets, a game model of concurrent interaction" Claudia Faggian,
Francois Maurel