Böhm trees, Krivine’s machine and the Taylor expansion of lambdaterms (2006)

by T Ehrhard, L Regnier
Venue:In CiE, volume 3988 of LNCS