
5 Sep
2008
5 Sep
'08
2:04 a.m.
On Thu, Sep 4, 2008 at 1:46 PM, Pierre-Evariste Dagand
what could be a "categorical language"?
Something we would call Charity, for example :-)
Also check out Tatsuya Hagino's PhD thesis, available here: http://www.tom.sfc.keio.ac.jp/~hagino/index.html.en It's a precursor to the Charity work, and a very nice presentation of the ideas. Take care... Matt