Reduction relations in strict applicative languages

Theory of Computing and Systems - Lecture Notes in Computer Science ◽

10.1007/bfb0035166 ◽

2006 ◽

pp. 55-66

Author(s):

Walter Dosch

Download Full-text