W3C home > Mailing lists > Public > spec-prod@w3.org > January to March 2001

Re: inference rule markup?

From: Philip Wadler <wadler@research.bell-labs.com>
Date: Wed, 14 Feb 2001 12:30:31 -0500
Message-Id: <200102141730.MAA5552163@nslocum.cs.bell-labs.com>
To: Andrea Asperti <asperti@CS.UniBO.IT>
cc: mff@research.att.com, spec-prod@w3.org, "Fuchs, Matthew" <matthew.fuchs@commerceone.com>, schena@CS.UniBO.IT, Claudio Sacerdoti_Coen <sacerdot@CS.UniBO.IT>, Luca Padovani <lpadovan@CS.UniBO.IT>, Ferruccio Guidi <fguidi@CS.UniBO.IT>

I would be interested in formalizing both MSL and the query algebra.

	MSL:
	http://www.cs.bell-labs.com/who/wadler/topics/xml.html#msl

	Query algebra:
	http://www.cs.bell-labs.com/who/wadler/topics/xml.html#xalgebra-icdt
	http://www.w3.org/TR/query-algebra

Cheers,  -- P

Received on Wednesday, 14 February 2001 12:31:45 GMT

This message: [ Message body ]
Next message: Dan Connolly: "Re: inference rule markup?"
Previous message: Andrea Asperti: "Re: inference rule markup?"
In reply to: Andrea Asperti: "Re: inference rule markup?"
Next in thread: Dan Connolly: "Re: inference rule markup?"
Reply: Dan Connolly: "Re: inference rule markup?"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 16 March 2009 11:06:10 GMT