Go backward to Typing Rules Go up to Top Go forward to Expression Parameters

Parameter Forms

Command abstractions

• Abstraction:

  • pi -U- {I2:theta1} |- C: comm

    pi |- proc I1(I2:theta) = C: {I1: theta -> comm}dec

• Invokation:

  • pi |- U: theta

    pi |- call I(U): comm

    if (I:theta-> comm) in pi
• Other forms similar.

All varieties of abstractions are legible for parameters!