W3C home > Mailing lists > Public > public-rif-wg@w3.org > October 2006

Yet another language

From: Francis McCabe <frankmccabe@mac.com>
Date: Fri, 27 Oct 2006 17:15:24 -0700
Message-Id: <4307AD4E-45CE-4E9C-B2B8-532DE1E627D0@mac.com>
To: "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>

approach would be to base the RIF wholesale on IKL (http:// 
and use something like PSL (http://www.conradbock.org/psl-intro- 
ws.pdf) to axiomatize process (and hence the operational semantics of  
IRL etc.)

Received on Saturday, 28 October 2006 00:15:39 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:40 UTC