James Laird. Sequentiality and the CPS Semantics of Fresh Names. Electronic Notes in Theoretical Computer Science, 173:203-219, 2007. [doi]
@article{Laird07, title = {Sequentiality and the CPS Semantics of Fresh Names}, author = {James Laird}, year = {2007}, doi = {10.1016/j.entcs.2007.02.035}, url = {http://dx.doi.org/10.1016/j.entcs.2007.02.035}, tags = {semantics}, researchr = {https://researchr.org/publication/Laird07}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {173}, pages = {203-219}, }