On a finite axiomatization of the data type L

• Authors:

• P. A. Subrahmanyam

• Affiliations:

• State University of New York at Stony Brook, Stony Brook, New York

• Venue:
• ACM SIGPLAN Notices
• Year:
• 1978