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. 2, pp. 288, February 1990, doi:10.1109/12.45218