Page history
6 July 2013
2 February 2013
30 January 2013
NB. combinators are being applied on the right of their arguments
+39
'''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
28 January 2013
18 October 2009
29 March 2009
→Category: close bracket
+4
→Cartesian Closed Category: markup
+370
→Intuitionistic Propositional Calculus
+4
→Classical Propositional Calculus: close bracket
+4
→Category 2: close bracket
+4
→Cartesian Category: markup
+318
→Category 2: markup
+164
28 March 2009
→Classical Propositional Calculus: markup
+168
→Positive Intuitionistic Propositional Calculus: spacing
+14
→Conjunction Calculus: spacing
+16
→Deductive System 2: spacing
+12
→Deductive System: use \dfrac
-35
27 March 2009
→Intuitionistic Propositional Calculus: markup
+261
→Positive Intuitionistic Propositional Calculus: markup
+298
→Conjunction Calculus: markup
+294
→Deductive System 2
-1
→Graph 2: + page number
+30
→Deductive System 2: markup
+121
→Basic Concepts from Lambek and Scott (1986)
-12
→Graph (Review): markup
+126
→Natural Transformation: indent diagram
+45
→Natural Transformation
+274
→Functor: spacing
+16
→Category: spacing
+8
→Deductive System: spacing
+8
→Graph: center figure
+11
→Functor: markup
+180
→Functor: markup
+244
→Category: close bracket
+3
→Category: markup
+135
→Deductive System: markup
+225
26 March 2009
→Graph: markup
+36
→Basic Concepts from Lambek and Scott (1986)
+240
→Concrete Category: markup
+15
→Concrete Category: markup
+212
→Category
+9
→Basic Concepts from Lambek and Scott (1986): segment
+281
→Work Area
+104
→Bibliography
+33
→Commentary Note 2: markup
-159
→Commentary Note 1
+8
→Commentary Note 1: markup
+123
→Commentary Note 1
-22