On some applications of combinatory logic and lambda-conversion in studies of recursion and of the semantics of programming languages. --

The author has not granted permission for the file to be printed nor for the text to be copied and pasted. If you would like a printable copy of this thesis, please contact summit-permissions@sfu.ca.