personal page
institute page
Understanding the linear logic-sector of bunched logic as a kind of quantum logic:
Created on June 1, 2023 at 13:08:35. See the history of this page for a list of all contributions to it.