Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
From: Oliver Bandel <oliver@f...>
Subject: Re: polycontextural logic (Re: [Caml-list] JoCaml Released.)
Hello,


more texts that might be of interest here:

http://www.thinkartlab.com/pkl/PDF-Overview/PDF-Overview.html

http://www.thinkartlab.com/pkl/lola/Games-short.pdf
http://www.thinkartlab.com/pkl/lola/poly-Lambda_Calculus.pdf
http://www.thinkartlab.com/pkl/lola/AFOSR-Place-Valued-Logic.pdf
http://www.thinkartlab.com/pkl/lola/From Ruby to Rudy.pdf


Ciao,
   Oliver