Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Stuart F. Allen
66 results
An Abstract Semantics for Atoms in Nuprl
| cite »
by Stuart F. Allen
2006
Enabling Large Scale Coherency Among Mathematical Texts
| cite »
by Stuart F. Allen, Robert L. Constable
2006
Innovations in Computational Type Theory using Nuprl
| cite »
by Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, Evan Moran
2006
Using Formal Reference to Enhance Authority and Integrity in Online Mathematical Texts
| cite »
by Stuart F. Allen, Robert L. Constable, Lori Lorigo
2006
A Semantics for Abstract Atoms in Nuprl
by Stuart F. Allen
March 31, 2006
Anchoring Expository Text in Formal Mathematics -- Part II
by Stuart F. Allen
April 15, 2005
Anchoring Expository Text in Formal Mathematics
by Stuart F. Allen
December 06, 2004
How to browse the library
by Stuart F. Allen
December 14, 2004
Readability Exercise (num theory)
by Stuart F. Allen
December 14, 2004
Russel's Paradox
by Stuart F. Allen
December 14, 2004
Square Root of 2 is Irrational
by Stuart F. Allen
August 04, 2004
Discrete Math Materials
by Stuart F. Allen
August 02, 2004
Fundamental Theorem of Arithmetic
by Stuart F. Allen
August 02, 2004
Iterated Binary Operations
by Stuart F. Allen
August 02, 2004
Towers of Hanoi
by Stuart F. Allen
April 27, 2004
Abstract Identifiers, Intertextual Reference and a Computational Basis for Recordkeeping
| cite »
by Stuart F. Allen
2004
Expressing and Implementing the Computational Content Implicit in Smullyan's Account of Boolean Valuations
| cite »
by Stuart F. Allen, Robert L. Constable, Matthew Fluet
2004
Type Theory as a Legacy from Logicism
by Stuart F. Allen
March 08, 2004
Applied Logic as Part of an Effort to Accumulate Precise Knowledge
by Stuart F. Allen
February 09, 2004
Remarks on the FDL (Formal Digital Library) Project -- Continuation of talk begun November 17
by Stuart F. Allen
December 01, 2003
Remarks on the FDL (Formal Digital Library) Project
by Stuart F. Allen
November 17, 2003
Elementary Number Theory
by Stuart F. Allen
September 23, 2003
Nuprl Editor and Interface
by Stuart F. Allen
September 23, 2003
Standard Resources
by Stuart F. Allen
September 23, 2003
Nuprl Basics
by Stuart F. Allen
September 18, 2003
Practical Reflection in Nuprl
| cite »
by Eli Barzilay, Stuart F. Allen, Robert L. Constable
2003
Abstract Identifiers and Textual Reference
| cite »
by Stuart F. Allen
2002
FDL: A Prototype Formal Digital Library
by Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo
2002
Reflecting Higher-Order Abstract Syntax in Nuprl
| cite »
by Eli Barzilay, Stuart F. Allen
2002
Report on the Design of the Formal Digital Library
by Richard Eaton, Robert L. Constable, Stuart F. Allen
April 08, 2002
Explaining the Formal Digital Library
by Stuart F. Allen, Robert L. Constable, Richard Eaton
March 11, 2002
Progress on the ONR University Research Initiative in Digital Libraries for Computational Mathematics
by Stuart F. Allen, Robert L. Constable
December 03, 2001
Lists
by Stuart F. Allen
May 15, 2001
Logical Aspects of Digital Mathematics Libraries (extended abstract)
| cite »
by Stuart F. Allen, James L. Caldwell, Robert L. Constable
2001
Summer Reports
by Stuart F. Allen, Ralph Benzinger, Regina Barzilay, Ozan Hafizogullari, Aleksey Nogin, Amanda Holland-Minkley, Mark Bickford, Sasha Evfimievski, Lori Lorigo
September 18, 2000
Summer Reports
by Stuart F. Allen, Ralph Benzinger, Regina Barzilay, Ozan Hafizogullari, Aleksey Nogin, Amanda Holland-Minkley, Mark Bickford, Sasha Evfimievski, Lori Lorigo
September 11, 2000
Summer Reports
by Stuart F. Allen, Ralph Benzinger, Regina Barzilay, Ozan Hafizogullari, Aleksey Nogin, Amanda Holland-Minkley, Mark Bickford, Sasha Evfimievski, Lori Lorigo
September 04, 2000
The Nuprl Open Logical Environment
| cite »
by Stuart F. Allen, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo
2000
Some Uses of the Intersection Type
by Stuart F. Allen, Robert L. Constable
May 03, 1999
Using Nuprl as a Formal Assistant for Preparing Largely Informal Material
by Stuart F. Allen
March 29, 1999
Semantics and Pragmatics of Reflected Proof
by Stuart F. Allen, Sergei Artemov, Robert L. Constable
December 01, 1998
Reflection Mechanisms in Nuprl
by Stuart F. Allen, Robert L. Constable
November 10, 1998
From dy/dx to []P: A Matter of Notation
| cite »
by Stuart F. Allen
1998
Application of Notational Methods in dy/dx
by Stuart F. Allen
March 31, 1998
Abstract Identifiers in Nuprl 5 (continued)
by Stuart F. Allen
October 28, 1997
Abstract Identifiers in Nuprl 5
by Stuart F. Allen
October 21, 1997
Discussion of Issues in Logic Library Design
by Robert L. Constable, Jason Hickey, Stuart F. Allen, Richard Eaton
March 03, 1997
Designing a Logical Library
by Stuart F. Allen
February 24, 1997
New Nuprl Editor
by Stuart F. Allen
November 07, 1995
Overview of Nuprl 5
by Stuart F. Allen
September 19, 1995
Imperative Program Semantics
by Stuart F. Allen
May 02, 1995
The "Interface" Version of Nuprl
by Stuart F. Allen, Richard Eaton
November 15, 1994
Editing
by Stuart F. Allen
November 16, 1993
Polya/Nuprl
by Stuart F. Allen
1993-1994
Reasoning about Scientific Programs
by Conal Mannion, Stuart F. Allen
1993-1994
Attaching Context to Objects in the Library
by Stuart F. Allen
February 04, 1992
PRL Library Day
by Stuart F. Allen
November 19, 1991
Reflecting the Open-Ended Computation System of Constructive Type Theory
| cite »
by Robert L. Constable, Stuart F. Allen, Douglas J. Howe
1990
The Semantics of Reflected Proof
| cite »
by Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William Aitken
1990
Continuation of A Type Theoretic Interpretation of DougHowe's Squiggle Relation
by Stuart F. Allen
April 26, 1988
A Type Theoretic Interpretation of Doug Howe's Squiggle Relation
by Stuart F. Allen
April 19, 1988
A Non-Type-Theoretic Definition of Martin-Lof's Types
| cite »
by Stuart F. Allen
1987
A Non-Type-Theoretic Semantics for Type-Theoretic Language
| cite »
by Stuart F. Allen
1987
Implementing Mathematics with the Nuprl Development System
| cite »
by Robert L. Constable, Stuart F. Allen, H. M. Bromley, Walter Rance Cleaveland, J. F. Cremer, Robert W. Harper, Douglas J. Howe, Todd B. Knoblock, Nax P. Mendler, Prakash Panangaden, James T. Sasaki, Scott F. Smith
1986
Predicate Calculus Model
by Stuart F. Allen
1984-1985
Prolog
by Ryan Stansifer, Stuart F. Allen
1984-1985