|
eCommons@Cornell >
Browsing by Author Howe, Douglas J.
Showing results 1 to 7 of 7
| Preview | Issue Date | Title | Author(s) | | Jun-1988 | Automating Reasoning in an Implementation of Constructive Type Theory | Howe, Douglas J. |
| Mar-1987 | The Computational Behaviour of Girard's Paradox | Howe, Douglas J. |
| Mar-1988 | Computational Metatheory in Nuprl | Howe, Douglas J. |
| Apr-1989 | Implementing Metamathematics as an Approach to Automatic Theorem Proving | Constable, Robert L.; Howe, Douglas J. |
| May-1986 | Implementing Number Theory: An Experiment with Nuprl | Howe, Douglas J. |
| Jun-1986 | Impredicative Strong Existential Equivalent to Type:Type | Hook, James G.; Howe, Douglas J. |
| Jun-1989 | Nuprl as a General Logic | Constable, Robert L.; Howe, Douglas J. |
Showing results 1 to 7 of 7
|
