Publisher
Springer Nature Switzerland
Reference34 articles.
1. Abramsky, S., Carù, G.: Non-locality, contextuality and valuation algebras: a general theory of disagreement. Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 377(2157), 22 (2019). https://doi.org/10.1098/rsta.2019.0036, www.ncbi.nlm.nih.gov/pmc/articles/PMC6754714, ID/No 20190036
2. Bacci, G., Mardare, R., Panangaden, P., Plotkin, G.: Propositional logics for the Lawvere quantale (2023). https://arxiv.org/abs/2302.01224
3. Barr, M.: *-Autonomous Categories. With an Appendix by Po-Hsiang Chu. Lecture Notes in Mathematics, vol. 752. Springer, Cham (1979). https://doi.org/10.1007/BFb0064579
4. Blanco, N.: Bifibrations of polycategories and classical multiplicative linear logic. Ph.D. thesis, Computer Science School of the University of Birmingham, May 2023. https://doi.org/10.48550/arXiv.2305.15139
5. Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (1990). http://www.worldcat.org/search?qt=worldcat_org_all&q=0521367662