A Linear Logic Quicksort

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},
}