Pat Hayes and logic for indirection?

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