on logics

[wizzard]

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

у меня тут в мозгах что-то щелкнуло на тему того что memoizing lambda interpreter - это кхм quick and dirty реализация то ли EAL то ли LAL логики

и теперь я пытаюсь понять, правильно ли я понял, и прочее такое, потому что переизобретать велосипеды это конечно хорошо но читать пейперы обычно быстрее

да, также интересны Ludics и Geometry of Interactions...