|
|
eCommons@Cornell >
Browsing by Author "Constable, Robert L."
Showing results 1 to 20 of 45
| Preview | Issue Date | Title | Author(s) | | 13-Dec-2005 | A Causal Logic of Events in Formalized Computational Type Theory | Bickford, Mark; Constable, Robert L. |
| Jul-1974 | Computability on Continuous Higher Types and its Role in the Semantics of Programming Languages | Constable, Robert L.; Egli, Herbert |
| Mar-1988 | Computational Foundations of Basic Recursive Function Theory | Constable, Robert L.; Smith, Scott Fraser |
| 15-Oct-2008 | Computational Type Theory | Constable, Robert L. |
| Nov-1970 | Constructive Mathematics and Automatic Program Writers | Constable, Robert L. |
| May-1983 | Constructive Mathematics as a Programming Logic I: Some Principles of Theory | Constable, Robert L. |
| Oct-1973 | A Constructive Theory of Recursive Functions | Constable, Robert L. |
| Oct-1982 | The Definition of $\mu$PRL | Bates, Joseph L.; Constable, Robert L. |
| 15-Oct-2008 | Effectively Nonblocking Consensus Procedures Can Execute Forever ? a Constructive Version of FLP | Constable, Robert L. |
| Mar-1976 | An Elementary Formal Semantics for the Programming Language PL/CS | Constable, Robert L.; Donahue, James E. |
| 27-Jan-2006 | Enabling Large Scale Coherency Among Mathematical Texts | Allen, Stuart F.; Constable, Robert L. |
| Mar-1986 | Formalized Metareasoning in Type Theory | Knoblock, Todd B.; Constable, Robert L. |
| Jun-1980 | The Fundamental Theorem of Arithmetic in PL/CV2 | Constable, Robert L. |
| 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. |
Showing results 1 to 20 of 45
|
