Chronological Index:
1986-87
Spring Semester
Metamathematics of Reflection
| Todd Knoblock, April 22, 1987 |
|
The Expressiveness of lambda Y
| David Basin, April 9, 1987 |
|
Bar Types
| Scott Smith, March 18, 1987 |
|
Realizabiity for IZF
| Jim Lipton, March 12, 1987 |
|
Term Model Semantics and Tait Computability Method
| Scott Smith, March 11, 1987 |
|
IZF and Recursive Realizability
| Jim Lipton, March 5, 1987 |
|
Fall Semester
Category Theory as Basis for Mathematics
| John Beck, December 2, 1986 |
|
Continuation of Categorial Models of Nuprl
| Michael Schwartzbach, October 28, 1986 |
|
Categorical Models of Nuprl
| Michael Schwartzbach, October 21, 1986 |
|
Strong Normalization in Lambda2
| Nax Mendler, October 2, 1986 |
|
| Empty Types |
| John Mitchell, September 25, 1986 |
| Implementing Finite Sets |
| Rance Cleaveland, September 9, 1986 |
|