Type theoretic properties of assignments - Swarup, Vipin (Dep. of Computer Science Univ. of Ill., 1992)