Year	1994
Authors	Kung Chen
Paper Title	Kung Chen;Martin Odersky, 1994.04, 'Type System for a Lambda Calculus with Assignments, ' Theoretical Aspect of Computer Software ''94, Tohoku University.
Date of Publication	1994-04-01
ISI Number	159131