On bunched logic:
Peter O'Hearn, David J. Pym, The Logic of Bunched Implications, The Bulletin of Symbolic Logic 5 2 (1999) 215-244 [pdf, doi:10.2307/421090]
Peter O'Hearn, On bunched typing, Journal of Functional Programming 13 4 (2003) 747-796 [doi:10.1017/S0956796802004495]
On bireflective subcategories with ambidextrous adjoints:
Last revised on May 30, 2023 at 14:59:45. See the history of this page for a list of all contributions to it.