Changes

MyWikiBiz, Author Your Legacy — Saturday April 20, 2024
Jump to navigationJump to search

Directory:Jon Awbrey/Papers/Cactus Language (view source)

Revision as of 21:42, 2 June 2009

492 bytes removed ,  21:42, 2 June 2009
→‎Cactus Language: reorganize
Line 2,547: Line 2,547:  
===Cactus Language===
 
===Cactus Language===
   −
; Note.
+
====Fragments====
−
: 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]
      
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===
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/87577"

Navigation menu