Robert L. Constable
Intersections, Unions and Games
Robert Constable, Alexei Kopylov and Alexey Nogin, December 6, 1999
Points of Contact with Girard (Nuprl ∩ Ludics)
Robert L. Constable, September 13, 1999
Semantics and Pragmatics of Reflected Proof
Stuart Allen, Sergei Artemov, and Robert L. Constable, December 1, 1998
Listening to Theorem Provers who Talk to Each Other about Computer Systems
Robert L. Constable, October 20, 1998
Computability is Ineffable in ZF Set Theory
Robert L. Constable, April 1997
Discussion of Issues in Logic Library Design
Robert L. Constable, Jason Hickey, Stuart Allen, and Rich Eaton, March 3, 1997
Project Direction and Research Problems
Robert L. Constable, February 6, 1996
Defining the Polynomial Time Functions over N in Nuprl
Robert L. Constable, March 28, 1995
An Open Architecture for Nuprl
Robert L. Constable, March, 1995
Representing Computational Complexity in Nuprl
Robert L. Constable, November 22, 1994
Predicative Higher-Order PROPOSITIONAL Logic vs. the Impredicative Propositional Calculus
Robert L. Constable, April 19, 1993
Collaborative Problem Solving Environment
Robert Constable, Fall, 1988
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu