![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
wizzardкак же так осилить interaction nets? несколько лет уже про них читаю, и все никак мозгов не хватает(
у меня тут в мозгах что-то щелкнуло на тему того что memoizing lambda interpreter - это кхм quick and dirty реализация то ли EAL то ли LAL логики
и теперь я пытаюсь понять, правильно ли я понял, и прочее такое, потому что переизобретать велосипеды это конечно хорошо но читать пейперы обычно быстрее
да, также интересны Ludics и Geometry of Interactions...
у меня тут в мозгах что-то щелкнуло на тему того что memoizing lambda interpreter - это кхм quick and dirty реализация то ли EAL то ли LAL логики
и теперь я пытаюсь понять, правильно ли я понял, и прочее такое, потому что переизобретать велосипеды это конечно хорошо но читать пейперы обычно быстрее
да, также интересны Ludics и Geometry of Interactions...
no subject
Date: 2017-01-05 04:45 pm (UTC)А в прошлом году был первый раз в жизни на конференции вообще и первый раз с докладом. Получилось плохо, так как оказалось, что я представлял себе аудиторию совсем неправильно. После этого в статью решил дописать краткое введение (в запасе оставалось только две страницы, на статьи были ограничения в 10 страниц) и выложил в виде поста перевод на русский язык.
В связи с проявленным интересом к interaction nets, хотелось бы спросить, стало ли введение понятнее по сравнению с переводом главы учебника?