The weak lambda calculus as a reasonable machine

Ugo Dal Lago, Simone Martini. The weak lambda calculus as a reasonable machine. Theoretical Computer Science, 398(1-3):32-50, 2008. [doi]

Abstract

Abstract is missing.