//
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: Richard Eaton

19 results


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

Seminar Wider Deployment of Nuprl
by Richard Eaton, Mark Bickford, Robert L. Constable, Christoph Kreitz
September 28, 2012

Math Book Work in Progress
by Richard Eaton
February 20, 2012

Math Book Introduction to EventML
by Mark Bickford, Robert L. Constable, Richard Eaton, David Guaspari
February 03, 2012

Seminar Impredicative vs Predicative Type Theory
by Robert L. Constable, Mark Bickford, Richard Eaton
April 13, 2012

Math Book Automatic FDL Projections
by Richard Eaton
September 01, 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

Seminar Automating Proofs in Event Logic
by Mark Bickford, Richard Eaton
March 23, 2006

Seminar Automating Proofs in Event Logic
by Mark Bickford, Richard Eaton
August 26, 2005

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

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

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

Seminar The Nuprl 5 Library
by Richard Eaton
February 09, 1998

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

Seminar Design and Implemention of the Library Component of Nuprl 5
by Richard Eaton
October 03, 1995

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