\sammlung{15672 \gri{l}-Kalku''l}
14340 Albert Meyer: What is a model of the lambda calculus?\par
Information and Control 52 (1982), 87-122.\\

14341 C. Koymans: Models of the lambda-calculus.
Information and Control 52 (1982), 306-332.\\

14307 S. Awodey: Topological representation of the \gri{l}-calculus.\par
Internet 1998, 21p.\\

13582 Mark-Jason Dominus: Pure untyped \gri{l}-calculus and popular
programming languages. J. Funct. Progr. January 1999, 1-7.\\

14315 Joseph Halpern a.o.: On the unusual effectiveness of logic in
computer science. Internet 2001, 19p.\\

14321 Hendrik Pieter Barendregt: Kreisel, lambda calculus, a windmill and a
castle. Internet ca. 1995, 11p.

\end{tabular}