From - Thu Oct  8 09:35:22 1998
Received: from curry.cse.psu.edu (curry.cse.psu.edu [130.203.8.31])
	by cse.psu.edu (8.8.8/8.8.8) with ESMTP id JAA12008
	for <catuscia@cse.psu.edu>; Thu, 8 Oct 1998 09:33:07 -0400 (EDT)
Received: (from hannan@localhost)
	by curry.cse.psu.edu (8.8.8/8.8.7) id JAA24809;
	Thu, 8 Oct 1998 09:33:06 -0400 (EDT)
Date: Thu, 8 Oct 1998 09:33:06 -0400 (EDT)
Message-Id: <199810081333.JAA24809@curry.cse.psu.edu>
From: John J Hannan <hannan@cse.psu.edu>
To: catuscia@cse.psu.edu
Subject: Re: Schedule of lectures for CSE 520
Content-Type: text
Content-Length: 1154
X-Mozilla-Status: 8011

Catuscia,
	Unfortunately, I didn't keep accurate records of the lecture
schedule.  I never tried to predict a schedule and I never went back
to record what I actually did.  I can give you a list of the topics I
covered:

UNTYPED LAMBDA CALCULUS
	- Computation
	- Recursive Function Theory (T)
	- Fixpoints, Fixpoint Operator Y
	- Church-Rosser
	- Scheme

TYPED LAMBDA CALCULUS
	- Simple Types & Polymorphic Types
	- Type Systems
	- Church-Rosser, Subject Reduction,
	  Strong Normalization
	- Standard ML

LOGIC
	- Propositional Logic
	- Natural Deduction
	- Propositions-as-Types Analogy
	- Gentzen Systems (Symmetry)
	- Proplog
	- First-Order Logic
	- Prolog, Unification

OTHER TOPICS
	- Combinatory Logic (Hilbert Systems)
	- Logical Frameworks (LF, Constructions)

I spent a little more that 1/2 the course of untyped and typed lambda
calculi and functional programming.  The rest was on logics, logic
programming and logical frameworks.  

I hope this helps.

John


> Hi John, 
> 
> Do you still have the schedule of lectures you gave 
> when you teached the course CSE 520? Could you please 
> send it to me? 
> 
> Thanks in advance, Catuscia
>