Links for lambda-lite