|
|
eCommons@Cornell >
Browsing by Author Constable, Robert L.
Showing results 14 to 33 of 45
| Preview | Issue Date | Title | Author(s) | | Apr-1989 | Implementing Metamathematics as an Approach to Automatic Theorem Proving | Constable, Robert L.; Howe, Douglas J. |
| Mar-1986 | Infinite Objects in Type Theory | Mendler, N. P.; Panangaden, Prakash; Constable, Robert L. |
| Sep-1985 | Investigations of Type Theory in Programming Logics and Intelligent Systems | Constable, Robert L. |
| Apr-1976 | Language Features that Support Program Verification (illustrated in PL/C) | Constable, Robert L. |
| 7-Mar-2003 | A Logic of Events | Bickford, Mark; Constable, Robert L. |
| Feb-1971 | Loop Schemata | Constable, Robert L. |
| Jul-1983 | Mathematics as Programming | Constable, Robert L. |
| Sep-1991 | Metalogical Frameworks | Basin, David A.; Constable, Robert L. |
| Jan-1983 | The Nearly Ultimate Pearl | Constable, Robert L.; Bates, Joseph L. |
| Jun-1989 | Nuprl as a General Logic | Constable, Robert L.; Howe, Douglas J. |
| Mar-1974 | On the Computational Complexity of Scheme Equivalence | Constable, Robert L.; Hunt, Harry B., III; Sahni, Sartaj |
| Mar-1970 | On the Efficiency of Programs in Subrecursive Formalisms | Constable, Robert L.; Borodin, Allan B. |
| Oct-1973 | On the Relation of Refinement Between Algorithms | Constable, Robert L. |
| Mar-1970 | On the Size of Programs in Subrecursive Formalisms | Constable, Robert L. |
| May-1969 | The Operator Gap | Constable, Robert L. |
| Mar-1983 | Partial Functions in Constructive Formal Theories | Constable, Robert L. |
| Mar-1987 | Partial Objects in Constructive Type Theory | Constable, Robert L.; Smith, Scott Fraser |
| Nov-1976 | PL/CS - A Disciplined Subset of PL/I | Conway, Richard W.; Constable, Robert L. |
| Nov-1982 | Programs as Proofs | Constable, Robert L. |
| May-1980 | Programs As Types | Constable, Robert L. |
Showing results 14 to 33 of 45
|
