Stuart Allen

Some Uses of the Intersection Type
Stuart Allen and Robert L. Constable, May 3, 1999
Using Nuprl as a Formal Assistant for Preparing Largely Informal Material
Stuart Allen, March 29, 1999
Semantics and Pragmatics of Reflected Proof
Stuart Allen, Sergei Artemov, and Robert L. Constable, December 1, 1998
Reflection Mechanisms in Nuprl
Stuart Allen, Robert L. Constable, November 10, 1998
Application of Notational Methods in dy/dx
Stuart Allen, March 31, 1998
"Abstract Identifiers" and Nuprl Libraries
Stuart Allen, October 28, 1997
Abstract Identifiers in Nuprl 5
Stuart Allen, October 21, 1997
Discussion of Issues in Logic Library Design
Robert L. Constable, Jason Hickey, Stuart Allen, and Rich Eaton, March 3, 1997
Designing a Logical Library
Stuart Allen, February 24, 1997
New Nuprl Editor
Stuart Allen, November 7, 1995
Overview of Nuprl 5
Stuart Allen, September 19, 1995
Imperative Program Semantics
Stuart Allen, May 2, 1995
The "Interface" Version of Nuprl
Stuart Allen and Rich Eaton, November 15, 1994
Polya/Nuprl
Stuart Allen, Fall 1993
Reasoning about Scientific Programs
Conal Mannion and Stuart Allen, 1993
Continuation of A Type Theoretic Interpretation of Doug Howe's Squiggle Relation
Stuart Allen, April 26, 1988
A Type Theoretic Interpretation of Doug Howe's Squiggle Relation
Stuart Allen, April 19, 1988




Department of Computer Science, Cornell University nuprl@cs.cornell.edu