A Logical View of Assignments

Vipin Swarup, Uday S. Reddy. A Logical View of Assignments. In J. Paul Myers Jr., Michael J. O Donnell, editors, Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings. Volume 613 of Lecture Notes in Computer Science, pages 131-149, Springer, 1991.

Abstract

Abstract is missing.