Markus Lumpe. A Lambda Calculus with Forms. In Thomas Gschwind, Uwe Aßmann, Oscar Nierstrasz, editors, Software Composition, 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers. Volume 3628 of Lecture Notes in Computer Science, pages 83-98, Springer, 2005. [doi]
Abstract is missing.