Саша Шень очень сильно повлиял на мою жизнь. Среди прочего, он научил меня хорошей версии функ-ана в "народном университете", и рассказал мне, что есть такой Dana Scott, который делает топологические модели языков программирования.

( синхронность )

ЗЫ. ( кы-ы-ы-ы-ысь )

Update: третья ссылка на Шеня в френд-ленте: Конкурс Пьера Делиня.

I started to look at some new work in software continualization recently, in particular, at models using ordinary dinamical systems (both discrete and continuous time), as opposed to more popular models which use non-Hausdorff topology.

In particular, I wanted to refer to the papers by Howard Blair and his colleagues from Syracuse University developing such models for logic programming ( Read more... )