×

Found 11 Documents (Results 1–11)

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
Full Text: DOI

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
Full Text: arXiv Link

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI HAL

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).
PDFBibTeX XMLCite

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field