Is there any Russian-language literature on denotational semantics?

Question

Programming languages

I noticed that I'm more interested not so much in programming as in the languages ​​themselves, their semantics.
1) Is there any Russian-language literature on denotational semantics?
2) And are any other institutions working in this direction?
3) And where is this semantics generally used in practice?

Answer 1

1) Is there any Russian-language literature on denotational semantics?

unlikely. It makes no sense to publish books on this topic, too narrow a field of research. Here are articles on the Internet.

2) And are any other institutions working in this direction?

No, of course, why do institutions need this?
This is generally an area more related to mathematics. Work in this direction can go not theoretically, but practically - for example, when writing a language, they can simply work to ensure that its semantics match.

3) And where is this semantics generally used in practice?

As I understand it, in functional programming languages.
Here's a helpful snippet:

So, IMHO, as a programmer, this is the main thing to understand: denotational semantics is how to give the mathematical "teeth" to the concept of referential transparency so that we can give principled answers to substitution correctness claims. In the context of functional programming, for example, one of the key applications is: when can we say that two expressions with a function value actually mean "the same" function, and thus one of them can safely replace the other? The classic denotational answer is extensional equality: two functions are equal if and only if they map the same inputs to the same outputs, so we just need to prove whether the expressions in question denote extensionally equivalent functions. For example,
In the context of reactive programming, the big question would be: when can we say that two different expressions nevertheless denote the same event stream or time-dependent value?