I should have done this ages ago, but better late than never.
My PhD thesis entitled Normalization in Lambda Calculus and Type
Theory from 1997 is available electronically at
A limited number of copies are available as DIKU technical
report 97/27. If you're interested in receiving one of these,
send a request with your postal address to firstname.lastname@example.org.
The main topic of the thesis is the study of techniques
relating weak normalization (there is a reduction to normal
form) and strong normalization (all reductions eventually
end in normal forms) in typed and untyped lambda calculi.
Morten Heine B. Sorensen (email@example.com),
Department of Computer Science,
University of Copenhagen.