-
The laws of writing a good dissertation
Murdoch J. Gabbay, 22 October 2008
-
20081022-lawwgd
[
ps]
[
pdf]
-
The nature of sets in computer science
Murdoch J. Gabbay, 29 September 2008
-
20080929-natscs
[
ps]
[
pdf]
-
Nominal terms and one-and-a-half level Curry Howard
Murdoch J. Gabbay, 26 September 2008
-
-
Two-and-a-half order lambda-calculus
Murdoch J. Gabbay, 4 July 2008
-
-
Nominal Algebra
Murdoch J. Gabbay, 30 June 2008
-
-
Substitution for Fraenkel-Mostowski Foundations
Murdoch J. Gabbay, 4 April 2008
-
-
One-and-a-halfth order Curry Howard: Incomplete Derivations
Murdoch J. Gabbay, 4 March 2008
-
-
Two-and-a-halfth order lambda-calculus: a calculus of the informal meta-level
Murdoch J. Gabbay, 7 February 2008
-
20080207-twoaah
[
ps]
[
pdf]
-
Arbitrary objects in mathematics and semantics
Murdoch J. Gabbay, 28 February 2008
-
20080228-arboms-arche
[
ps]
[
pdf]
-
Strange but true! Second year undergraduates chat all night online about logic course
Murdoch J. Gabbay, 11 January 2008
-
20080111-strbts
[
ps]
[
pdf]
-
Semantics of names and binding
Murdoch J. Gabbay, 14 January 2008
-
20080114-semnb-kings
Oh, what are the laws of writing a good dissertation? Read the slides and find out, with examples!