User contributions
16 February 2013
15 February 2013
14 February 2013
Directory:Jon Awbrey/Projects/Theme One Program
Theme One Program : Re-En-Visionary Programming Project
-1
Directory:Jon Awbrey/Essays/Prospects For Inquiry Driven Systems
Work Area
+12
13 February 2013
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.35. Reducibility of Sign Relations: markup
+132
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.35. Reducibility of Sign Relations: markup
+504
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.34. Set-Theoretic Constructions: correction
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.34. Set-Theoretic Constructions: markup
+221
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.34. Set-Theoretic Constructions: markup
+100
5 February 2013
4 February 2013
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.34. Set-Theoretic Constructions: markup
+152
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.34. Set-Theoretic Constructions: markup
+179
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.34. Set-Theoretic Constructions: markup;
+107
2 February 2013
Category:Lambda Calculus
'''{{PAGENAME}}'''
Category:Combinator Calculus
'''{{PAGENAME}}'''
Directory:Jon Awbrey/Papers/Propositions As Types
add cats
+62
Help talk:Listing
wrong place
-20,891
30 January 2013
Directory:Jon Awbrey/Papers/Propositions As Types
NB. combinators are being applied on the right of their arguments
+39
Directory:Jon Awbrey/Papers/Propositions As Types
'''NB.''' Notice that I am carrying out combinator applications “on the right”, so the formulas might read backwards from what many people are used to.
+165
29 January 2013
User talk:OmniMediaGroup
Bad Category Page Needs Deletion: new section
+167
Category:Type Theory
'''{{PAGENAME}}'''
Category:Programming Languages
'''{{PAGENAME}}'''
Directory:Jon Awbrey/Papers/Propositions As Types
Inquiry List, Commentary : Jul 2005: fix typo
+24
28 January 2013
Category:Computing
'''{{PAGENAME}}'''
Category:Computer Science
no edit summary
Category:Computer Science
Category:ComputingCategory:Computers
+47
Category:Combinatory Logic
'''{{PAGENAME}}'''
Category:Computer Science
'''{{PAGENAME}}'''
-4
Directory:Jon Awbrey/Papers/Propositions As Types
add categories
+215
26 January 2013
20 January 2013
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Operational Representation
+1
Directory:Jon Awbrey/Papers/Differential Logic : Introduction
Operational Representation
-1
14 January 2013
13 January 2013
7 January 2013
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.34. Set-Theoretic Constructions: markup
+276
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.34. Set-Theoretic Constructions: markup
+36
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.34. Set-Theoretic Constructions: markup
+225
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.34. Set-Theoretic Constructions: markup
+94
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.35. Reducibility of Sign Relations
+20
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.35. Reducibility of Sign Relations: markup
+169
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.35. Reducibility of Sign Relations: markup
+133
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6
6.35. Reducibility of Sign Relations: markup
+69
30 December 2012
25 December 2012
23 December 2012
Directory:Jon Awbrey/Papers/Semiotic Information
cleanup quotation marks
+44
Directory:Jon Awbrey/Papers/Semiotic Information
cleanup graphics
-2
Directory:Jon Awbrey/Papers/Semiotic Information
cleanup graphics
+351