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-04 (13:58)
From: Oliver Bandel <oliver@f...>
Subject: Re: [Caml-list] JoCaml Released.
On Mon, Jun 04, 2007 at 10:38:54PM +1000, skaller wrote:
> On Mon, 2007-06-04 at 08:13 -0400, Yaron Minsky wrote:
> > A couple of questions:
> >       * Why is it that JoCaml is a full OCaml distribution as opposed
> >         to just a set of libraries plus a syntax extension. 
> JoCaml implements the join calculus, which subsumes lambda
> calculus.. so you have asked the wrong question.

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.

It would be fine to have some explanations here, on what
the join calculus is capable of.