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