on logics
как же так осилить interaction nets? несколько лет уже про них читаю, и все никак мозгов не хватает(
у меня тут в мозгах что-то щелкнуло на тему того что memoizing lambda interpreter - это кхм quick and dirty реализация то ли EAL то ли LAL логики
и теперь я пытаюсь понять, правильно ли я понял, и прочее такое, потому что переизобретать велосипеды это конечно хорошо но читать пейперы обычно быстрее
да, также интересны Ludics и Geometry of Interactions...
This entry was originally posted at http://wizzard.dreamwidth.org/479180.html. It has
comments. Please comment there using OpenID.
у меня тут в мозгах что-то щелкнуло на тему того что memoizing lambda interpreter - это кхм quick and dirty реализация то ли EAL то ли LAL логики
и теперь я пытаюсь понять, правильно ли я понял, и прочее такое, потому что переизобретать велосипеды это конечно хорошо но читать пейперы обычно быстрее
да, также интересны Ludics и Geometry of Interactions...
This entry was originally posted at http://wizzard.dreamwidth.org/479180.html. It has
comments. Please comment there using OpenID.