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

August 2017

S M T W T F S
  12345
6789 101112
1314 1516171819
2021222324 2526
2728 293031  

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 22nd, 2017 11:49 am
Powered by Dreamwidth Studios