|Request: Ref to Scott's proof of recursive structure minimality Terrence Brannon (1995-11-04)|
|Re: Request: Ref to Scott's proof of recursive structure minimality email@example.com (1995-11-06)|
|Re: Request: Ref to Scott's proof of recursive structure minimality firstname.lastname@example.org (1995-11-23)|
|From:||Terrence Brannon (email@example.com)|
|Date:||Sat, 4 Nov 1995 16:30:10 GMT|
I am reading a book called "Functional Programming" by
B.J. Maclennan. He states:
"Scott(1974) showed that recursive structure declarations
always have a unique minimum solution."
However, there is no ref to this paper in his biblio. Can anyone point
me to the proper paper?
Terrence Brannon (firstname.lastname@example.org)
University of Southern California
3614 Watt Way, LA, CA 90089-2520
Return to the
Search the comp.compilers archives again.