Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: Stuart F. Allen

66 results


Publication An Abstract Semantics for Atoms in Nuprl | cite »
by Stuart F. Allen
2006

Publication Enabling Large Scale Coherency Among Mathematical Texts | cite »
by Stuart F. Allen, Robert L. Constable
2006

Publication 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

Publication Using Formal Reference to Enhance Authority and Integrity in Online Mathematical Texts | cite »
by Stuart F. Allen, Robert L. Constable, Lori Lorigo
2006

Seminar A Semantics for Abstract Atoms in Nuprl
by Stuart F. Allen
March 31, 2006

Seminar Anchoring Expository Text in Formal Mathematics -- Part II
by Stuart F. Allen
April 15, 2005

Seminar Anchoring Expository Text in Formal Mathematics
by Stuart F. Allen
December 06, 2004

Math Book How to browse the library
by Stuart F. Allen
December 14, 2004

Math Book Readability Exercise (num theory)
by Stuart F. Allen
December 14, 2004

Math Book Russel's Paradox
by Stuart F. Allen
December 14, 2004

Math Book Square Root of 2 is Irrational
by Stuart F. Allen
August 04, 2004

Math Book Discrete Math Materials
by Stuart F. Allen
August 02, 2004

Math Book Fundamental Theorem of Arithmetic
by Stuart F. Allen
August 02, 2004

Math Book Iterated Binary Operations
by Stuart F. Allen
August 02, 2004

Math Book Towers of Hanoi
by Stuart F. Allen
April 27, 2004

Publication Abstract Identifiers, Intertextual Reference and a Computational Basis for Recordkeeping | cite »
by Stuart F. Allen
2004

Publication 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

Seminar Type Theory as a Legacy from Logicism
by Stuart F. Allen
March 08, 2004

Seminar Applied Logic as Part of an Effort to Accumulate Precise Knowledge
by Stuart F. Allen
February 09, 2004

Seminar Remarks on the FDL (Formal Digital Library) Project -- Continuation of talk begun November 17
by Stuart F. Allen
December 01, 2003

Seminar Remarks on the FDL (Formal Digital Library) Project
by Stuart F. Allen
November 17, 2003

Math Book Elementary Number Theory
by Stuart F. Allen
September 23, 2003

Math Book Nuprl Editor and Interface
by Stuart F. Allen
September 23, 2003

Math Book Standard Resources
by Stuart F. Allen
September 23, 2003

Math Book Nuprl Basics
by Stuart F. Allen
September 18, 2003

Publication Practical Reflection in Nuprl | cite »
by Eli Barzilay, Stuart F. Allen, Robert L. Constable
2003

Publication Abstract Identifiers and Textual Reference | cite »
by Stuart F. Allen
2002

Publication FDL: A Prototype Formal Digital Library
by Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo
2002

Publication Reflecting Higher-Order Abstract Syntax in Nuprl | cite »
by Eli Barzilay, Stuart F. Allen
2002

Seminar Report on the Design of the Formal Digital Library
by Richard Eaton, Robert L. Constable, Stuart F. Allen
April 08, 2002

Seminar Explaining the Formal Digital Library
by Stuart F. Allen, Robert L. Constable, Richard Eaton
March 11, 2002

Seminar Progress on the ONR University Research Initiative in Digital Libraries for Computational Mathematics
by Stuart F. Allen, Robert L. Constable
December 03, 2001

Math Book Lists
by Stuart F. Allen
May 15, 2001

Publication Logical Aspects of Digital Mathematics Libraries (extended abstract) | cite »
by Stuart F. Allen, James L. Caldwell, Robert L. Constable
2001

Seminar 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

Seminar 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

Seminar 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

Publication The Nuprl Open Logical Environment | cite »
by Stuart F. Allen, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo
2000

Seminar Some Uses of the Intersection Type
by Stuart F. Allen, Robert L. Constable
May 03, 1999

Seminar Using Nuprl as a Formal Assistant for Preparing Largely Informal Material
by Stuart F. Allen
March 29, 1999

Seminar Semantics and Pragmatics of Reflected Proof
by Stuart F. Allen, Sergei Artemov, Robert L. Constable
December 01, 1998

Seminar Reflection Mechanisms in Nuprl
by Stuart F. Allen, Robert L. Constable
November 10, 1998

Publication From dy/dx to []P: A Matter of Notation | cite »
by Stuart F. Allen
1998

Seminar Application of Notational Methods in dy/dx
by Stuart F. Allen
March 31, 1998

Seminar Abstract Identifiers in Nuprl 5 (continued)
by Stuart F. Allen
October 28, 1997

Seminar Abstract Identifiers in Nuprl 5
by Stuart F. Allen
October 21, 1997

Seminar Discussion of Issues in Logic Library Design
by Robert L. Constable, Jason Hickey, Stuart F. Allen, Richard Eaton
March 03, 1997

Seminar Designing a Logical Library
by Stuart F. Allen
February 24, 1997

Seminar New Nuprl Editor
by Stuart F. Allen
November 07, 1995

Seminar Overview of Nuprl 5
by Stuart F. Allen
September 19, 1995

Seminar Imperative Program Semantics
by Stuart F. Allen
May 02, 1995

Seminar The "Interface" Version of Nuprl
by Stuart F. Allen, Richard Eaton
November 15, 1994

Seminar Editing
by Stuart F. Allen
November 16, 1993

Seminar Polya/Nuprl
by Stuart F. Allen
1993-1994

Seminar Reasoning about Scientific Programs
by Conal Mannion, Stuart F. Allen
1993-1994

Seminar Attaching Context to Objects in the Library
by Stuart F. Allen
February 04, 1992

Seminar PRL Library Day
by Stuart F. Allen
November 19, 1991

Publication Reflecting the Open-Ended Computation System of Constructive Type Theory | cite »
by Robert L. Constable, Stuart F. Allen, Douglas J. Howe
1990

Publication The Semantics of Reflected Proof | cite »
by Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William Aitken
1990

Seminar Continuation of A Type Theoretic Interpretation of DougHowe's Squiggle Relation
by Stuart F. Allen
April 26, 1988

Seminar A Type Theoretic Interpretation of Doug Howe's Squiggle Relation
by Stuart F. Allen
April 19, 1988

Publication A Non-Type-Theoretic Definition of Martin-Lof's Types | cite »
by Stuart F. Allen
1987

Publication A Non-Type-Theoretic Semantics for Type-Theoretic Language | cite »
by Stuart F. Allen
1987

Publication 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

Seminar Predicate Calculus Model
by Stuart F. Allen
1984-1985

Seminar Prolog
by Ryan Stansifer, Stuart F. Allen
1984-1985