Ben

• planning

resources

• book : Practical Foundations for Programming Languages, Robert Harper
• twelf - "a tool that assists people designing deductive systems" (Harper is involved) | wikipedia: twelf
• wikipedia: curry-howard correspondance

diary

• Jan 24
• Jan 31
• Feb 06
• Feb 14
• Feb 21
• Midterm
• Mar 07
• Mar 28
• Apr 04
• Apr 11
• Apr 18
• Apr 25
• May 2

Jim's end of semester comments

folders

• protected