Referential Opacity in Equational Reasoning

Referential Opacity in Equational Reasoning

Referential Opacity in Equational Reasoning

Authors: J. E. Hannay
Status: Published
Publication type: Technical Reports
Year of publication: 1998
Journal: -
Publisher: University of Edinburgh
Citation key: 12928

Google Scholar BibTex