Rich Eaton

The Nuprl 5 Library

Rich Eaton, February 9, 1998

Discussion of Issues in Logic Library Design

Robert L. Constable, Jason Hickey, Stuart Allen, and Rich Eaton, March 3, 1997

Design and Implemention of the Library Component of Nuprl 5

Rich Eaton, October 3, 1995

The "Interface" Version of Nuprl

Stuart Allen and Rich Eaton, November 15, 1994