%0 Journal Article %1 selinger2001control %A SELINGER, PETER %D 2001 %J Mathematical Structures in Computer Science %K categorical category control semantics %N 02 %P 207--260 %R null %T Control categories and duality: on the categorical semantics of the lambda-mu calculus %U http://journals.cambridge.org/article_S096012950000311X %V 11

@article{selinger2001control, added-at = {2014-11-23T04:04:24.000+0100}, author = {SELINGER, PETER}, biburl = {https://www.bibsonomy.org/bibtex/2a274a31dac403af1d9b31783b1ef605c/t.uemura}, doi = {null}, interhash = {29fc5d0198b684c79e5a3c45ba79b1f0}, intrahash = {a274a31dac403af1d9b31783b1ef605c}, issn = {1469-8072}, journal = {Mathematical Structures in Computer Science}, keywords = {categorical category control semantics}, month = {4}, number = 02, numpages = {54}, pages = {207--260}, timestamp = {2014-11-23T04:04:24.000+0100}, title = {Control categories and duality: on the categorical semantics of the lambda-mu calculus}, url = {http://journals.cambridge.org/article_S096012950000311X}, volume = 11, year = 2001 }