ATTAPL Errata

Ch. 2

Technical

• Fig 2-4 (QAP-App) conclusion should be q t instead of t q


• Def 2.6.1 - Don't you need to explicitly state in definition 2.6.1 that R is a relation between
  two terms and a type, and that the two terms must be of that type
• Def 2.9.7 need = between dom(\gamma) and dom(\Gamma)

• 2.1 - Motivation - space after \lambda_\omega. Next line, omit comma after "type expressions of higher kind"
• 2.2 - "For this algorithm to work relies on three facts:" very awkward.
• 2.6 A Logical Relation- "asserting the exactly the necessary property" omit "the"
• 2.6 Monotonicity "the desired algorithmic equivalence _ from the corresponding logical equivalence" add "follows"

Last update: 09/24/2003 3:53 PM