How to read notation from DOT-calculus description?

C

cs0ip2015-07-30 10:37:40

Scala

cs0ip, 2015-07-30 10:37:40

I tried to understand the formal definition of DOT-calculus according to this document
lampwww.epfl.ch/~amin/dot/fool.pdf
But I don't understand how to read the descriptions given there, such as those in part 2 in the table (reduction, type assignment, declaration assignment)

Is there any article describing how to read this kind of notation? And the simpler and more detailed, the better.

Reply

Answer the question

In order to leave comments, you need to log in

1 answer(s)

C

cs0ip, 2015-08-06
@cs0ip

I found a good article about this, which basically explains what is happening here
siek.blogspot.ru/2012/07/crash-course-on-notation-...