Обсуждение

>Нотационный опыт в языках программирования разных парадигм (увы, тут не знаю куда ткнуть пальцем). http://en.wikipedia.org/wiki/Formal_semantics_of_programming_languages ?

Это не совсем (хотя и нельзя написать "совсе не") про нотацию. Вот когда смотришь категорную семантику, то они и синтаксис тоже цепляют -- http://en.wikipedia.org/wiki/Categorical_semantics. А в целом конкретный синтаксис и синтаксический сахар (то, что входит в нотацию) мало кого волнует, языки чаще сейчас в терминах абстрактного синтаксиса определяют...