лююопытно было бы увидеть реальные приложения этой "экзотической" модельной структуры---доказательство или даже переформулировка, переизложение чего=нибудь про графы на этом языке. пример, который они приводят, все-таки пока не слишком интересен ини недоделан---или я просто его не понимаю).

(Reply to this)