eCommons@Cornell >
Browsing by Author Howe, Douglas J.
Showing results 1 to 7 of 7
Preview  Issue Date  Title  Author(s)   Jun1988  Automating Reasoning in an Implementation of Constructive Type Theory  Howe, Douglas J. 
 Mar1987  The Computational Behaviour of Girard's Paradox  Howe, Douglas J. 
 Mar1988  Computational Metatheory in Nuprl  Howe, Douglas J. 
 Apr1989  Implementing Metamathematics as an Approach to Automatic Theorem Proving  Constable, Robert L.; Howe, Douglas J. 
 May1986  Implementing Number Theory: An Experiment with Nuprl  Howe, Douglas J. 
 Jun1986  Impredicative Strong Existential Equivalent to Type:Type  Hook, James G.; Howe, Douglas J. 
 Jun1989  Nuprl as a General Logic  Constable, Robert L.; Howe, Douglas J. 
Showing results 1 to 7 of 7
