User contributions
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
22 December 2012
10 December 2012
User:Jon Awbrey/Philosophical Notes
POLA. Note 25
+64
User:Jon Awbrey/Philosophical Notes
POLA. Note 25
User:Jon Awbrey/Philosophical Notes
POLA. Note 25
+10
User:Jon Awbrey/Philosophical Notes
POLA. Note 25: markup
+203
7 December 2012
5 December 2012
User:Jon Awbrey/Philosophical Notes
VOLS. Verities Of Likely Stories
+147
User:Jon Awbrey/Philosophical Notes
VOLS. Verities Of Likely Stories: markup
-100
3 December 2012
User:Jon Awbrey/Philosophical Notes
RTOK. Russell's Theory Of Knowledge
+8
User:Jon Awbrey/Philosophical Notes
Note 2
+7
User:Jon Awbrey/Philosophical Notes
CROM. Critical Reflection On Method
User:Jon Awbrey/Philosophical Notes
Work Area: segment text
-473