Chronological Index:
1989-90
Spring Semester
| 20BJ as a Meta-logical Framework |
| Andrew Stevens, Spring, 1990 |
| Using Nuprl to Verify Floating Point Hardware |
| Paul Jackson, April 17, 1990 |
| Plotkin |
| Jim Lipton, March 13, 1990 |
| Logical Relations |
| Jim Lipton, March 6, 1990 |
| Polymorphism Is Not Set Theoretic |
| Nax Mendler, February 14, 1990 |
| Intuitionistic ZF |
| Jim Lipton, January 30, 1990 |
Fall Semester
| The Lambda Calculus as a Basis for Language Design |
| Bob Harper, Fall, 1989 |
| Home | | Introduction | | Authors | | Topics | | Chronological List | | PRL Project |