Changes

User:Jon Awbrey (view source)

22 bytes added , 00:00, 17 September 2012

Line 6: Line 6:

−

~~[http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Riffs_and_Rotes R&R]~~

[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/~~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/Propositions_As_Types Propositions As Types]

[http://mywikibiz.com/Directory:Jon_Awbrey/Papers/Inquiry_Driven_Systems Inquiry Driven Systems]

12,122

edits