NoteA simple proof of a theorem of Statman
Under an Elsevier user license
open archive
Cited by (0)
- ∗
On leave from Brandeis University, Waltham, Massachusetts, Supported in part by NSF Grant CCR-9017125, and grants from Texas Instruments and from the Tyson Foundation.
Copyright © 1992 Published by Elsevier B.V.