Richard Eaton

According to our database, Richard Eaton authored at least 4 papers between 2000 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Innovations in computational type theory using Nuprl.

Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E. Moran

J. Appl. Log., 2006

2004

A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics.

Lori Lorigo, Jon M. Kleinberg, Richard Eaton, Robert L. Constable

Proceedings of the Mathematical Knowledge Management, Third International Conference, 2004

2003

MetaPRL - A Modular Logical Environment.

Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

2000

The Nuprl Open Logical Environment.

Stuart F. Allen, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo

Proceedings of the Automated Deduction, 2000