12,080
edits
Changes
Directory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 21:42, 2 June 2009
, 21:42, 2 June 2009→Cactus Language: reorganize
Line 2,547:
Line 2,547:
; Note.+: Need to find the original context of this fragment.
−: There is an early posting here:
−: [http://stderr.org/pipermail/inquiry/2003-March/thread.html#102 Theme One Program : Exposition, Inquiry List, Mar 2003]
−: [http://stderr.org/pipermail/inquiry/2003-March/000114.html Theme One Program : Expository Note 13, Inquiry List, 16 Mar 2003]
−: Series of postings all on one day, so probably an archiving of earlier e-lectures, possibly from Jack Park's ''Nexist'' web portal, now lost.
−: There is a later reposting here, on account the fact that some of the earlier posts from the Inquiry Archive had been lost for a time:
−: [http://stderr.org/pipermail/inquiry/2005-February/002348.html Theme One Program : Exposition, Feb 2005]
−: [http://stderr.org/pipermail/inquiry/2005-February/002360.html Theme One Program : Expository Note 13, Inquiry List, 10 Feb 2005]
===Cactus Language===
===Cactus Language===
−====Fragments====
−Table 13 illustrates the ''existential interpretation'' of cactus graphs and cactus expressions by providing English translations for a few of the most basic and commonly occurring forms.
Table 13 illustrates the ''existential interpretation'' of cactus graphs and cactus expressions by providing English translations for a few of the most basic and commonly occurring forms.
Line 3,034:
Line 3,026:
</pre>
</pre>
|}
|}
+
+====Document History====
+
+=====Inquiry List (Mar 2003)=====
+
+* http://stderr.org/pipermail/inquiry/2003-March/thread.html#102
+* http://stderr.org/pipermail/inquiry/2003-March/000114.html
+
+=====Inquiry List (Feb 2005)=====
+
+* http://stderr.org/pipermail/inquiry/2005-February/thread.html#2348
+* http://stderr.org/pipermail/inquiry/2005-February/002360.html
===Differential Logic===
===Differential Logic===