Is there [going to be] an XML syntax corresponding to the functional syntax? Will it be normative? Jeremy (Honest question .... I'm wondering about hanging the axiom annotations off bits of such a syntax rather than off reifications)Received on Friday, 21 December 2007 16:17:44 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:41:41 UTC