lambda-calculus-and-link-variables-in-the-infoswmm (1)