Correction to 'Representational and denotational semantics of digital systems'

Three errors are corrected which appeared in a paper by the author (see ibid., vol.38, no.7, p.986-99 (1989)). The corrections relate to variable bindings in quantification and lambda abstraction, the notation for subranges of the integers, and the definition of monotonicity (in Section V).<
>