Skip to main content


eCommons@Cornell >

Browsing by Author Constable, Robert L.

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 20 of 45
 next >
PreviewIssue DateTitleAuthor(s)
13-Dec-2005A Causal Logic of Events in Formalized Computational Type TheoryBickford, Mark; Constable, Robert L.
Jul-1974Computability on Continuous Higher Types and its Role in the Semantics of Programming LanguagesConstable, Robert L.; Egli, Herbert
Mar-1988Computational Foundations of Basic Recursive Function TheoryConstable, Robert L.; Smith, Scott Fraser
15-Oct-2008Computational Type TheoryConstable, Robert L.
Nov-1970Constructive Mathematics and Automatic Program WritersConstable, Robert L.
May-1983Constructive Mathematics as a Programming Logic I: Some Principles of TheoryConstable, Robert L.
Oct-1973A Constructive Theory of Recursive FunctionsConstable, Robert L.
Oct-1982The Definition of $\mu$PRLBates, Joseph L.; Constable, Robert L.
15-Oct-2008Effectively Nonblocking Consensus Procedures Can Execute Forever ? a Constructive Version of FLPConstable, Robert L.
Mar-1976An Elementary Formal Semantics for the Programming Language PL/CSConstable, Robert L.; Donahue, James E.
27-Jan-2006Enabling Large Scale Coherency Among Mathematical TextsAllen, Stuart F.; Constable, Robert L.
Mar-1986Formalized Metareasoning in Type TheoryKnoblock, Todd B.; Constable, Robert L.
Jun-1980The Fundamental Theorem of Arithmetic in PL/CV2Constable, Robert L.
Apr-1989Implementing Metamathematics as an Approach to Automatic Theorem ProvingConstable, Robert L.; Howe, Douglas J.
Mar-1986Infinite Objects in Type TheoryMendler, N. P.; Panangaden, Prakash; Constable, Robert L.
Sep-1985Investigations of Type Theory in Programming Logics and Intelligent SystemsConstable, Robert L.
Apr-1976Language Features that Support Program Verification (illustrated in PL/C)Constable, Robert L.
7-Mar-2003A Logic of EventsBickford, Mark; Constable, Robert L.
Feb-1971Loop SchemataConstable, Robert L.
Jul-1983Mathematics as ProgrammingConstable, Robert L.
Showing results 1 to 20 of 45
 next >


© 2014 Cornell University Library Contact Us