Introduction to the Literature On Semantics
				  by
			   Gary T. Leavens

An introduction to the literature on semantics.
Included are pointers to the literature on
axiomatic semantics, denotational semantics, operational semantics,
and type theory.