Previous Entry Share Next Entry
2016-01

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 comment count unavailable comments. Please comment there using OpenID.
Tags: ,

  • 1
zeit_raffer December 19th, 2016
простое введение видели?
http://codedot.livejournal.com/211166.html
(я тоже не большой спец в вопросе)

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

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

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

  • 1
?

Log in