I'm reading through the paper
Transactors: A Programming Model for Maintaining
Globally Consistent Distributed State in Unreliable
Environments by John Field and Carlos Varela.
I have basic knowledge about the lambda calculus (typed lambda calculus to be more precise) thanks to a class I took at my university.
However, I'm stuck finding out what the rule shown below actually means. I have looked through the
Types and Programming Languages book by Benjamin Pierce but I can't seem to find an explanation.
Could somebody help me understand what rule