"Compiling untyped lambda calculus to lower-level code by game semantics ..."

Daniil Berezun, Neil D. Jones (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics