On the adequacy of finite equational methods for data type specification
Jan Aldert Bergstra, John Vivian Tucker · ACM SIGPLAN Notices · 1979
article On the adequacy of finite equational methods for data type specification Share on Authors: J. A. Bergstra University of Leiden, Leiden, The Netherlands University of Leiden, Leiden, The NetherlandsView Profile , J. V. Tucker Mathematical Centre, Amsterdam, The Netherlands Mathematical Centre, Amsterdam, The NetherlandsView Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 14Issue 11November 1979 pp 13–18https://doi.org/10.1145/988056.988058Online:01 November 1979Publication History 12citation107DownloadsMetricsTotal Citations12Total Downloads107Last 12 Months2Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access