Bibliography of lambda-calculi etcu door Rezus