Brief question on types. 2001 Paper 9 Question 6 Part a - define the typing relation of the polymorphic lambda calculus (PLC). Probably a stupid question, but what's the typing relation?! And how does one define it? Alvin