Local variables and non-interference in algol-like languages

Category Theory and Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0013455 ◽

2005 ◽

pp. 34-36

Author(s):

R. D. Tennent

Download Full-text