Manuscript notes by Strachey on D. Scott's seminar on formal semantics given at Oxford, November 1969. Includes some teaching material distributed by Scott: 'A Theory of Computable Functions of a Higher Type', 'A Construction of a Model for the λ-Calculus', and ' Notes on Semantics'.