%0 Journal Article %1 journals/mscs/Selinger01 %A Selinger, Peter %D 2001 %J Math. Struct. Comput. Sci. %K dblp %N 2 %P 207-260 %T Control categories and duality: on the categorical semantics of the lambda-mu calculus. %U http://dblp.uni-trier.de/db/journals/mscs/mscs11.html#Selinger01 %V 11

@article{journals/mscs/Selinger01, added-at = {2020-04-01T00:00:00.000+0200}, author = {Selinger, Peter}, biburl = {https://www.bibsonomy.org/bibtex/27f3875a2cc87d64b52155fc5b0e810fb/dblp}, ee = {http://journals.cambridge.org/action/displayAbstract?aid=68983}, interhash = {29fc5d0198b684c79e5a3c45ba79b1f0}, intrahash = {7f3875a2cc87d64b52155fc5b0e810fb}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {207-260}, timestamp = {2020-04-02T11:40:36.000+0200}, title = {Control categories and duality: on the categorical semantics of the lambda-mu calculus.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs11.html#Selinger01}, volume = 11, year = 2001 }