Type Theoretic Properties of Assignments (1992)

by V SWARUP