Next: Example Typing Derivation Up: Motivation for the Previous: Motivation for the

Typing Rules

(1) Axiom (or Proj)

(2)

(3)

(2')

(2') Modified abstraction rule:

See CN18 93, for a discussion of this rule.

pavel@
Wed Nov 30 17:00:20 EST 1994