A Relational Account of Call-by-Value Sequentiality
Jon G. Riecke, Anders SandholmVolume:
179
Year:
2002
Language:
english
Pages:
36
DOI:
10.1006/inco.2002.2957
File:
PDF, 300 KB
english, 2002