The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - February (1990 vol.39)
pp: 288
ABSTRACT
<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>
INDEX TERMS
representational semantics; denotational semantics; digital systems; variable bindings; quantification; lambda abstraction; integers; monotonicity; data structures; digital systems.
CITATION
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
23 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool