Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Richard Eaton
19 results
Nuprl’s Inductive Logical Forms
by Mark Bickford, Robert L. Constable, Richard Eaton, Vincent Rahli
September 01, 2015
Wider Deployment of Nuprl
by Richard Eaton, Mark Bickford, Robert L. Constable, Christoph Kreitz
September 28, 2012
Work in Progress
by Richard Eaton
February 20, 2012
Introduction to EventML
by Mark Bickford, Robert L. Constable, Richard Eaton, David Guaspari
February 03, 2012
Impredicative vs Predicative Type Theory
by Robert L. Constable, Mark Bickford, Richard Eaton
April 13, 2012
Automatic FDL Projections
by Richard Eaton
September 01, 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
Automating Proofs in Event Logic
by Mark Bickford, Richard Eaton
March 23, 2006
Automating Proofs in Event Logic
by Mark Bickford, Richard Eaton
August 26, 2005
A Graph-Based Approach towards Discerning Inherent Structures in a Digital Library of Formal Mathematics.
| cite »
by Lori Lorigo, Jon Kleinberg, Richard Eaton, Robert L. Constable
2004
A Nuprl-PVS Connection: Integrating Libraries of Formal Mathematics
| cite »
by Jon Kleinberg, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz
2003
FDL: A Prototype Formal Digital Library
by Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo
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
The Nuprl Open Logical Environment
| cite »
by Stuart F. Allen, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo
2000
The Nuprl 5 Library
by Richard Eaton
February 09, 1998
Discussion of Issues in Logic Library Design
by Robert L. Constable, Jason Hickey, Stuart F. Allen, Richard Eaton
March 03, 1997
Design and Implemention of the Library Component of Nuprl 5
by Richard Eaton
October 03, 1995
The "Interface" Version of Nuprl
by Stuart F. Allen, Richard Eaton
November 15, 1994