Henry G. Baker. A Linear Logic Quicksort. SIGPLAN Notices, 29(2):13-18, 1994.
@article{Baker94:2, title = {A Linear Logic Quicksort}, author = {Henry G. Baker}, year = {1994}, tags = {logic}, researchr = {https://researchr.org/publication/Baker94%3A2}, cites = {0}, citedby = {0}, journal = {SIGPLAN Notices}, volume = {29}, number = {2}, pages = {13-18}, }