Issue No. 02 - February (1990 vol. 39)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.45218
<p>Three errors are corrected which appeared in a paper by the author. The corrections relate to variable bindings in quantification and lambda abstraction, the notation for subranges of the integers, and the definition of monotonicity.</p>
representational semantics; denotational semantics; digital systems; variable bindings; quantification; lambda abstraction; integers; monotonicity; data structures; digital systems.
R. Boute, "Correction to 'Representational and Denotational Semantics of Digital Systems'", IEEE Transactions on Computers, vol. 39, no. , pp. 288, February 1990, doi:10.1109/12.45218