In einem anderen Thread definierte Andrej Bauer die Denotationssemantik als: Die Bedeutung eines Programms hängt von der Bedeutung seiner Teile ab. Was mich an dieser Definition stört, ist, dass sie scheinbar nicht das heraushebt, was gemeinhin als Denotationssemantik von dem, was gemeinhin als...