//
Skip to main content
PRL Project

Knowledge Base list of Publication Publications

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

Browse by author | title | year | subject

Filter for: Richard Eaton

6 results


Publication Nuprl’s Inductive Logical Forms
by Mark Bickford, Robert L. Constable, Richard Eaton, Vincent Rahli
September 01, 2015

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 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

Publication A Nuprl-PVS Connection: Integrating Libraries of Formal Mathematics | cite »
by Jon Kleinberg, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz
2003

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

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