Last update: Sun Oct 15 02:56:11 MDT 2017
@Article{Boudol:2000:SCN, author = "G{\'e}rard Boudol", title = "On the semantics of the call-by-name {CPS} transform", journal = j-THEOR-COMP-SCI, volume = "234", number = "1--2", pages = "309--321", day = "6", month = mar, year = "2000", CODEN = "TCSCDI", ISSN = "0304-3975 (print), 1879-2294 (electronic)", ISSN-L = "0304-3975", bibdate = "Tue Oct 31 11:38:05 MST 2000", bibsource = "http://www.elsevier.com/locate/issn/03043975; http://www.math.utah.edu/pub/tex/bib/tcs1995.bib", URL = "http://www.elsevier.nl/gej-ng/10/41/16/170/21/35/abstract.html; http://www.elsevier.nl/gej-ng/10/41/16/170/21/35/article.pdf", acknowledgement = ack-nhfb, fjournal = "Theoretical Computer Science", journal-URL = "http://www.sciencedirect.com/science/journal/03043975/", }