Archives of the Caml mailing list > Message from Oliver Bandel

Browse thread

JoCaml Released.

luc.maranget@i...
- Joel Reymont
  - luc.maranget@i...
- Yaron Minsky
  - skaller
    - Oliver Bandel
      - luc.maranget@i...
      - Oliver Bandel
        
        Oliver Bandel
        
        Oliver Bandel
        
        Jon Harrop
        
        Oliver Bandel
        
        Oliver Bandel
        
        Lukasz Stafiniak
        
        Oliver Bandel
  - luc.maranget@i...
    - Joel Reymont
- Jon Harrop
  - maranget@y...

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