Chronological Index:
|
Importing HOL Theorems into Nuprl
| Doug Howe, Bell Labs, July 30, 1998 |
|
L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments
| Professor Dirk van Dalen, Visitor from University of Utrecht, June 26, 1998 |
|
Efficient Automated Proof Search and Proof Reconstruction in Intuitionistic Logic
| Jens Otten and Stephen Schmitt, June 23, 1998 |
|