Skip to main content
more options

Technical Reports and General Articles

  1. Effectively Nonblocking Concensus Procedures Can Execute Forever - a Constructive Version of FLP by Constable, Cornell University Tech Report Ref Number 11512, 2008.
  2. Transforming the Academy: Knowledge Formation in the Age of Digital Information, Physica Plus, Issue No. 9, Jan 2007.
  3. A Causal Logic of Events in Formalized Computational Type Theory by Bickford, Mark, and Robert L. Constable, Cornell University Technical Report TR2005-2010, 2005.
  4. A Logic of Events by Bickford, Mark, and Robert L. Constable, Cornell University Technical Report 2003-1893, 2003.
  5. Computational Type Theory, Scholarpedia.
  6. Remembrances of Errett Bishop: reflections on him and his research, Contemporary Math, (San Diego, Calif., 1983), 79-84, Contemporary Math., 39, 39, American Math Society, Providence, 1985, pages 79-84, Providence, RI, 1985, (with Nerode, Anil and Metakides, George).