%A C.P. Wadsworth
%T Semantics and pragmatics of the lambda calculus
%R Ph.D. thesis
%I Oxford University
%D 1971