Как читать нотацию из описания DOT-calculus?

Question

[cs0ip]

Пытался разобраться с формальным определением DOT-calculus по этому документу
lampwww.epfl.ch/~amin/dot/fool.pdf

Но я не понимаю как читать приведенные там описания, типа тех, что в части 2 в таблице (reduction, type assignment, declaration assignment)


Есть ли какая-нибудь статья, описывающая, как читать подобные нотации? И чем проще и подробнее, тем лучше.

Comments

[laughedelic]

Синтаксис там описан явно в тексте главы 2. Поэтому я думаю, что вопрос о логической нотации (⊢, горизонтальная черта, вот это всё)?

[cs0ip]

laughedelic: Явно, но не достаточно подробно. Я по их описанию не смог разобраться.

Answer 1

[cs0ip]

Нашел неплохую статью по этому поводу, которая в основном объясняет происходящее здесь
siek.blogspot.ru/2012/07/crash-course-on-notation-...