= Lambda Calculus and Types examination paper of the University of Oxford (2015)
{c}
{title2=A12077W1}
The <University of Oxford> <computer science> Finals paper dated Thursday 4 June 2015, 2:30 pm–4:00 pm, Trinity Term 2015. The released https://www.whatdotheyknow.com/request/computer_science_past_exam_paper/response/956037/attach/3/Lawrence%20Attachment.zip?cookie_passthrough=1[examination archive] contains the three-page original as `2015-lambda.pdf`. Questions 1–2 occupy printed p. 2 and Question 3 printed p. 3. The local sources in the Oxford examinations repository are `pdf/computer-science/finals/lambda-calculus-and-types/2015.pdf` and `tex/computer-science/finals/lambda-calculus-and-types/2015.tex`. Question 2(d)'s literal claim is false: its proposed <typing judgment> holds precisely when $B=A\Rightarrow C$ for some <simple type> $C$.
Back to article page
