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

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