typo in 18.4?

Stephan Herrmann stephan.herrmann at berlin.de
Thu Nov 21 06:40:03 PST 2013

not sure whether this has been mentioned before (by me?):

This sentence in 18.4:

  For all i, (1 ≤ i ≤ n), where αi has upper bounds U1, ..., Uk,
  then define the upper bound of Zi as glb(L1θ, ..., Lkθ).

should probably say "glb(U1θ, ..., Ukθ).", right?


More information about the lambda-spec-experts mailing list