Mon, 01 Jan 2007 00:00:00 +0100

Abstract lambda-Calculus Machines. CEFP 2007: 112-157