Lambda calculus and types
= Lambda calculus and types
{scope}
{title2=A12077W1}
Solutions to all twelve numbered subparts of the <University of Oxford> <computer science> Finals paper held on 4 June 2015. Question 2(d) has a wording issue: its literal impossibility claim is false, and the solution gives the exact condition for a valid <typing judgment>.<Lambda Calculus and Types examination paper of the University of Oxford (2015)>[Cover, p. 1; Questions 1–2, p. 2; Question 3, p. 3]{ref}