Richard Eaton

Learn More
For twenty years the Nuprl (“new pearl”) system has been used to develop software systems and formal theories of computational mathematics. It has also been used to explore and implement computational type theory (CTT) – a formal theory of computation closely related to Martin-Löf’s intuitionistic type theory (ITT) and to the calculus of inductive(More)
Painful arthrosis of the basal joints of the thumb covers a spectrum of arthritic disease. The painful hypermobile thumb with articular cartilage preserved requires an entirely different type of treatment than does the similarly painful basal joint, which has stiffness and degeneration of more than one facet of the trapezium. By careful radiographic(More)
Vascular leiomyomas or angioleiomyomas are benign solitary smooth muscle tumors that occur uncommonly in the hand. The peak incidence is in the third to fifth decades of life, and men are more often affected than women. This tumor is rarely diagnosed before surgery. The usual treatment is simple excision of the mass and ligation of feeder vessels. Although(More)
Thirty-three patients with pain and decreased range of motion after traumatic derangement of the distal radioulnar and ulna-carpal joint were treated with a modified Darrach distal ulnar resection. Their ages ranged from 22 to 75 years (average, 50 years). Twenty-seven patients had Colles' or other distal radius fractures. Seven patients had ulnar resection(More)
D. McAllester, ed. 17 International Conference on Automated Deduction, LNAI 1831, pp. 170–176, c ©Springer Verlag, 2000. Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-scale applications. Nuprl LPE, the newest release, features(More)
Visualization of the scaphotrapezial joint during basal joint arthroplasty has been recommended to establish the stage of degeneration. This study attempts to clarify that recommendation and evaluate whether moderate wear of the joint precludes a good result of trapeziometacarpal hemiarthroplasty. To assess the need for inspection of the scaphotrapezial(More)
Injuries sustained by patients using wheels-in-line roller skates were reviewed in a survey of 57 cases collected by the Roosevelt Hospital Hand Service and 444 cases compiled by the Consumer Product Safety Commission. Most patients were novice skaters in the second and third decades of life. Severe distal radius fractures and upper extremity soft-tissue(More)
It has been hypothesized that instability of the thumb trapeziometacarpal joint is a major factor in the etiology of degenerative disease. Theoretically, surgically stabilized joints should be subject to less shear force and, hence, will be less likely to develop degenerative changes. The long-term results of volar ligament reconstruction were assessed in(More)