Chronological Index:
1987-88
Spring Semester
| Continuation of A Type Theoretic Interpretation of DougHowe's Squiggle Relation |
| Stuart Allen, April 26, 1988 |
| A Type Theoretic Interpretation of Doug Howe's Squiggle Relation |
| Stuart Allen, April 19, 1988 |
| Need Topic |
| David Basin, April 8, 1988 |
| Re-Presenting Doug Howe's Proof |
| March 3, 1988 |
Fall Semester
| Rational Reconstruction of Boyer and Moore Prover |
| Andrew Stevens, December 1, 1987 |
| Partial Objects |
| Scott Smith, November 24, 1987 |
| Math Vernacular |
| N. G. deBruijn, November 17, 1987 |
| Domains in Type Theory |
| Scott Smith, November 10, 1987 |
| Typed Enumeration-Free External Setting for Computing Theory |
| Robert L. Constable, November 3, 1987 |
| Need Topic |
| David McAllester, October 13, 1987 |
| The ONTIC System |
| David McAllester, October 6, 1987 |
|