1@TechReport{Loader1998,
2  author =	 {Ralph Loader},
3  title =	 {{N}otes on {S}imply {T}yped {L}ambda {C}alculus},
4  institution =	 {Laboratory for Foundations of Computer Science,
5                  School of Informatics, University of Edinburgh},
6  year =	 1998,
7  number =	 {ECS-LFCS-98-381}
8}
9
10@InProceedings{Matthes-ESSLLI2000,
11  author =	 {Ralph Matthes},
12  title =	 {{L}ambda {C}alculus: {A} {C}ase for {I}nductive
13                  {D}efinitions},
14  booktitle =	 {Lecture notes of the 12th European Summer School in
15                  Logic, Language and Information (ESSLLI 2000)},
16  year =	 2000,
17  month =	 {August},
18  publisher =	 {School of Computer Science, University of
19                  Birmingham}
20}
21
22@Article{Matthes-Joachimski-AML,
23  author =       {Felix Joachimski and Ralph Matthes},
24  title =        {Short Proofs of Normalization for the simply-typed
25                  $\lambda$-calculus, permutative conversions and
26                  {G}{\"o}del's {T}},
27  journal =      {Archive for Mathematical Logic},
28  year =         2003,
29  volume =       42,
30  number =       1,
31  pages =        {59--87}
32}
33
34@Article{Takahashi-IandC,
35  author = 	 {Masako Takahashi},
36  title = 	 {Parallel reductions in $\lambda$-calculus},
37  journal = 	 {Information and Computation},
38  year = 	 1995,
39  volume =	 118,
40  number =	 1,
41  pages =	 {120--127},
42  month =	 {April}
43}
44