Lecture notes from first class, 20060913, introduction to SigmaPi logic,
discussion of CurryHowardLambek isomorphism. Examples of proofs in SigmaPi. 

Lecture notes from second class 20060915. Cut theorem and rewritings for SigmaPi,
annotations of proofs. 

Lecture notes from third class 20060920. Discussion, motivation and
proof of confluence for rewritings for SigmaPi. 

Lecture notes from fourth class 20060922. Proof that SigmaPI(A) is a
category when A is a Category. 

Lecture notes from fifth class 20060927. Discussion of poly categories
and views as a process. 

Lecture notes from sixth class 20060929. Continue
discussion of poly categories, views as a process and relationship
to multiplicative linear logic. 

Lecture notes from seventh class 20061004. Work
through "boxing" of a graph and the proof of Girard's
switching theorem. 

Lecture notes from eighth class 20061006. Discuss
"Empires" and switch conditions. 

Lecture notes from ninth class 20061011. Discuss
categorical semantics of cut  multiplicative linear
logic. Introduction of Linear Distributive Categories.
Chu construction. 

Lecture notes from tenth class 20061013. Discuss
negation in LL, *autonomous categories, dualizing objects. 

Lecture notes from eleventh class 20061025. Discuss
additives of LL, extension of the additive term logic (Cockett, Pastro) 

Lecture notes from twelveth class 20061027 (Sean Nichols). Discuss
message passing logic. 

Lecture notes from thirteenth class 20061101. Discuss
initial algebras, final coalgebras and how datatypes arise from this. 

Final lecture of part 1, fourteenth class 20061103. Continue discussion
of datatypes, Bekic lemma, circular definitions. 
