Radul, Taras Balanced capacities. (English) Zbl 07799921 Topol. Methods Nonlinear Anal. 62, No. 2, 553-567 (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C15 28E10 91A12 54B30 PDFBibTeX XMLCite \textit{T. Radul}, Topol. Methods Nonlinear Anal. 62, No. 2, 553--567 (2023; Zbl 07799921) Full Text: DOI arXiv Link
Hartmann, Johannes; Gibbons, Jeremy Algorithm design with the selection monad. (English) Zbl 1528.68066 Swierstra, Wouter (ed.) et al., Trends in functional programming. 23rd international symposium, TFP 2022, virtual event, March 17–18, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13401, 126-143 (2023). MSC: 68N18 68W05 91A68 PDFBibTeX XMLCite \textit{J. Hartmann} and \textit{J. Gibbons}, Lect. Notes Comput. Sci. 13401, 126--143 (2023; Zbl 1528.68066) Full Text: DOI
Adachi, Takanori Hierarchical Structure of Uncertainty. arXiv:2311.14219 Preprint, arXiv:2311.14219 [q-fin.MF] (2023). MSC: 91B06 16B50 91Gxx 18C15 BibTeX Cite \textit{T. Adachi}, ``Hierarchical Structure of Uncertainty'', Preprint, arXiv:2311.14219 [q-fin.MF] (2023) Full Text: arXiv OA License
Ghani, Neil; Kupke, Clemens; Lambert, Alasdair; Nordvall Forsberg, Fredrik Compositional game theory with mixed strategies: probabilistic open games using a distributive law. (English) Zbl 1484.91086 Baez, John (ed.) et al., Proceedings of the applied category theory 2019, ACT 2019, University of Oxford, UK, July 15–19, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 323, 95-105 (2020). MSC: 91A44 18C15 18M35 PDFBibTeX XMLCite \textit{N. Ghani} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 323, 95--105 (2020; Zbl 1484.91086) Full Text: arXiv Link
Abramsky, Samson; Barbosa, Rui Soares; de Silva, Nadish; Zapata, Octavio The quantum monad on relational structures. (English) Zbl 1441.68055 Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 35, 19 p. (2017). MSC: 68Q12 08A70 18C20 81P68 91A80 PDFBibTeX XMLCite \textit{S. Abramsky} et al., LIPIcs -- Leibniz Int. Proc. Inform. 83, Article 35, 19 p. (2017; Zbl 1441.68055) Full Text: DOI arXiv
Palomar Tarancón, Juan-Esteban Co-universal algebraic extension with hidden parameters. (English) Zbl 1397.18013 Theory Appl. Math. Comput. Sci. 6, No. 2, 150-169 (2016). MSC: 18C20 03B65 91F20 PDFBibTeX XMLCite \textit{J.-E. Palomar Tarancón}, Theory Appl. Math. Comput. Sci. 6, No. 2, 150--169 (2016; Zbl 1397.18013)
Nishimura, Susumu A fully abstract game semantics for parallelism with non-blocking synchronization on shared variables. (English) Zbl 1356.68139 Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 578-596 (2013). MSC: 68Q55 18C20 68N15 68N19 91A40 PDFBibTeX XMLCite \textit{S. Nishimura}, LIPIcs -- Leibniz Int. Proc. Inform. 23, 578--596 (2013; Zbl 1356.68139) Full Text: DOI
Eklund, Patrik; Fedrizzi, Mario; Nurmi, Hannu A categorical approach to the extension of social choice functions. (English) Zbl 1202.18003 Hüllermeier, Eyke (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Applications. 13th international conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings. Part II. Berlin: Springer (ISBN 978-3-642-14057-0/pbk; 978-3-642-14058-7/ebook). Communications in Computer and Information Science 81, 261-270 (2010). MSC: 18C20 91B14 PDFBibTeX XMLCite \textit{P. Eklund} et al., Commun. Comput. Inf. Sci. 81, 261--270 (2010; Zbl 1202.18003) Full Text: DOI
Goubault-Larrecq, Jean Continuous previsions. (English) Zbl 1179.68074 Duparc, Jacques (ed.) et al., Computer science logic. 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11–15, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74914-1/pbk). Lecture Notes in Computer Science 4646, 542-557 (2007). MSC: 68Q55 06B35 18C15 91A15 91A80 PDFBibTeX XMLCite \textit{J. Goubault-Larrecq}, Lect. Notes Comput. Sci. 4646, 542--557 (2007; Zbl 1179.68074) Full Text: DOI HAL
Venema, Yde Automata and fixed point logic: a coalgebraic perspective. (English) Zbl 1110.68066 Inf. Comput. 204, No. 4, 637-678 (2006). MSC: 68Q45 03B45 03G30 18C15 68Q70 68Q85 91A43 PDFBibTeX XMLCite \textit{Y. Venema}, Inf. Comput. 204, No. 4, 637--678 (2006; Zbl 1110.68066) Full Text: DOI
Abramsky, Samson; McCusker, Guy Games for recursive types. (English) Zbl 0840.03054 Hankin, C. (ed.) et al., Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 1-20 (1995). MSC: 03G30 68Q55 91A80 18C20 PDFBibTeX XMLCite \textit{S. Abramsky} and \textit{G. McCusker}, in: Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 1--20 (1995; Zbl 0840.03054)