University of Oregon: Summer 2002 (June 24-July 5)

Program: Basic

Logical Structures
Lecture Notes PowerPoint | pdf
Exercises

Type Systems
Reading Material 1 postscript | pdf
Reading Material 2
Lecture Notes 1 postscript | pdf
Lecture 1 Video
Lecture Notes 2 postscript | pdf
Lecture 2 Video
Lecture Notes 3 postscript | pdf
Lecture 3 Video
Lecture Notes 4 postscript | pdf
Lecture 4 Video
Lecture Notes 5 postscript | pdf
Lecture 5 Video
Lecture Notes 6 postscript | pdf
Lecture 6 Video
Exercises

Inductive Types
Lecture Notes 1 postscript | pdf
Lecture 1 Video
Lecture Notes 2 postscript | pdf
Lecture 2 Video
Lecture Notes 3 postscript | pdf
Lecture 3 Video
Sample Coq session 1
Sample Coq session 2
Exercises

Linear Logic
Reading Material
Lecture Notes 1 postscript | pdf
Lecture 1 Video
Lecture Notes 2 postscript | pdf
Lecture 2 Video

This page is the property of the University of Oregon