Bhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms.

Thomas Ehrhard, Laurent Regnier

Browse the full CiE paper archive.