Report copyright - TypeSystems - University of Cambridge · 2020. 11. 5. · TypingRules n: N NUM true: bool TRUE false: bool FALSE e: N e′: N e+e′: N PLUS e: bool e′: bool e∧e′: bool AND
Please pass captcha verification before submit form
Please pass captcha verification before submit form