
eCommons@Cornell >
Browsing by Author Constable, Robert L.
Showing results 1 to 20 of 45
Preview  Issue Date  Title  Author(s)   13Dec2005  A Causal Logic of Events in Formalized Computational Type Theory  Bickford, Mark; Constable, Robert L. 
 Jul1974  Computability on Continuous Higher Types and its Role in the Semantics of Programming Languages  Constable, Robert L.; Egli, Herbert 
 Mar1988  Computational Foundations of Basic Recursive Function Theory  Constable, Robert L.; Smith, Scott Fraser 
 15Oct2008  Computational Type Theory  Constable, Robert L. 
 Nov1970  Constructive Mathematics and Automatic Program Writers  Constable, Robert L. 
 May1983  Constructive Mathematics as a Programming Logic I: Some Principles of Theory  Constable, Robert L. 
 Oct1973  A Constructive Theory of Recursive Functions  Constable, Robert L. 
 Oct1982  The Definition of $\mu$PRL  Bates, Joseph L.; Constable, Robert L. 
 15Oct2008  Effectively Nonblocking Consensus Procedures Can Execute Forever ? a Constructive Version of FLP  Constable, Robert L. 
 Mar1976  An Elementary Formal Semantics for the Programming Language PL/CS  Constable, Robert L.; Donahue, James E. 
 27Jan2006  Enabling Large Scale Coherency Among Mathematical Texts  Allen, Stuart F.; Constable, Robert L. 
 Mar1986  Formalized Metareasoning in Type Theory  Knoblock, Todd B.; Constable, Robert L. 
 Jun1980  The Fundamental Theorem of Arithmetic in PL/CV2  Constable, Robert L. 
 Apr1989  Implementing Metamathematics as an Approach to Automatic Theorem Proving  Constable, Robert L.; Howe, Douglas J. 
 Mar1986  Infinite Objects in Type Theory  Mendler, N. P.; Panangaden, Prakash; Constable, Robert L. 
 Sep1985  Investigations of Type Theory in Programming Logics and Intelligent Systems  Constable, Robert L. 
 Apr1976  Language Features that Support Program Verification (illustrated in PL/C)  Constable, Robert L. 
 7Mar2003  A Logic of Events  Bickford, Mark; Constable, Robert L. 
 Feb1971  Loop Schemata  Constable, Robert L. 
 Jul1983  Mathematics as Programming  Constable, Robert L. 
Showing results 1 to 20 of 45
