graph-rewriting-lambdascope-0.4.5: examples/asperti_guerrini_3012.l

λx.λy.(λf.(λh.(h λp.(h λq.q))
           λl.(((f λn.(l n))x)y))
       λg.λu.λv.((g u)(g v)))