Pat Hayes and logic for indirection?

From: Jonathan Rees <jar@creativecommons.org>
Date: Wed, 8 Jun 2011 23:52:36 +0000
To: www-tag@w3.org
Message-ID: <BANLkTikXmrLwz81+rwT_PDZ0FsPD5A=nDA@mail.gmail.com>

Yesterday afternoon in the issue-57 discussion someone - Henry I think
- said Pat had written about logics for document / what-it's-about
overloading (or something like that) (if I remember correctly). A
reference would be most welcome.

Jonathan

Received on Wednesday, 8 June 2011 23:53:03 UTC