on logics

Dec. 19th, 2016 01:43 pm
wizzard: (Default)
[personal profile] wizzard
как же так осилить interaction nets? несколько лет уже про них читаю, и все никак мозгов не хватает(

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

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

да, также интересны Ludics и Geometry of Interactions...
From:
Anonymous (will be screened)
OpenID (will be screened if not validated)
Identity URL: 
User
Account name:
Password:
If you don't have an account you can create one now.
Subject:
HTML doesn't work in the subject.

Message:

If you are unable to use this captcha for any reason, please contact us by email at support@dreamwidth.org


 
Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.

Profile

wizzard: (Default)
wizzard

June 2017

S M T W T F S
    123
45678910
11 121314151617
18192021222324
252627282930 

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 24th, 2017 03:34 pm
Powered by Dreamwidth Studios