12,080
edits
Jon Awbrey
Joined 17 May 2007
→Presently …
Line 6:
Line 6:
[http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Riffs_and_Rotes R&R]
<center>
<center>
−[http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems PERS]
[http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositional_Equation_Reasoning_Systems PERS]
Line 15:
Line 13:
[http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Peirce%27s_1870_Logic_Of_Relatives LOR 1870]
[http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Peirce%27s_1870_Logic_Of_Relatives LOR 1870]
−[http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositions_As_Types PAT Analogy]
+[http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Analytic_Turing_Automata DATA Project]
−[http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Analytic_Turing_Automata DATA Project]
+[http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Riffs_and_Rotes Riffs and Rotes]
[http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Cactus_Language Cactus Language]
[http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Cactus_Language Cactus Language]
+
+[http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositions_As_Types Propositions As Types]
[http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Inquiry_Driven_Systems Inquiry Driven Systems]
[http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Inquiry_Driven_Systems Inquiry Driven Systems]