From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 5C1EABC0A; Mon, 4 Jun 2007 17:19:42 +0200 (CEST) Received: from yquem.inria.fr (yquem.inria.fr [128.93.8.37]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l54FJNBV000398; Mon, 4 Jun 2007 17:19:24 +0200 Received: by yquem.inria.fr (Postfix, from userid 18041) id BABBCBC0A; Mon, 4 Jun 2007 17:19:23 +0200 (CEST) Date: Mon, 4 Jun 2007 17:19:23 +0200 To: Oliver Bandel Cc: caml-list@inria.fr, Yaron Minsky , skaller , Luc Maranget Subject: Re: [Caml-list] JoCaml Released. Message-ID: <20070604151923.GC19506@yquem.inria.fr> References: <20070604085744.GA4654@yquem.inria.fr> <891bd3390706040513r398a8415r4d790c6040ed200@mail.gmail.com> <1180960734.11351.135.camel@rosella.wigram> <20070604135743.GA340@first.in-berlin.de> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20070604135743.GA340@first.in-berlin.de> User-Agent: Mutt/1.5.9i From: luc.maranget@inria.fr (Luc Maranget) X-Miltered: at concorde with ID 46642D7B.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; jocaml:01 maranget:01 maranget:01 luc:01 luc:01 oliver:01 caml-list:01 calculus:01 calculus:01 logic:04 logic:04 distributed:05 distributed:05 parallel:05 inria:06 > Is the join calcuclus a monocontextural calculus (as I assume)? > > How can the join calculus (and distributed processes) be expressed > using Gotthard Guenthers polycontextural logic? > > Is there any research on this topic? > > As far as I know only polycontextural logic can express > parallel, distributed systems (and selfreference) in a complete/total way. > So, when join calculus is monocontextural (which it is, if it uses > the math we all have learned) it will be a subsystem > of what can be expressed with polycontextural logic. I am afraid that I cannot answer your question. I mean I cannot, as in << I can't swim >>. > > Ciao, > Oliver -- Luc