5 Sep
2008
5 Sep
'08
10:04 a.m.
On Thu, Sep 4, 2008 at 1:46 PM, Pierre-Evariste Dagand <pedagand@gmail.com> wrote:
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