on logics

[wizzard0]

как же так осилить interaction nets? несколько лет уже про них читаю, и все никак мозгов не хватает

Comments

[zeit_raffer]

простое введение видели?
http://codedot.livejournal.com/211166.html
(я тоже не большой спец в вопросе)

[wizzard0]

О! я никнейм товарища забыл совсем. буду еще перечитывать, спасибо

[nivanych]

Про Ludics мне немного помогла статья с названием что-то типа "теория типов с точки зрения Ludics".
Сейчас поищу название, она у меня точно должна быть.
Вот даже ссылка на arXiv -
https://arxiv.org/abs/1402.2511

[wizzard0]

Ага, я ее читал, она действительно помогает :) надо нахоботить отпуск и еще почитать все это по второму кругу