×

Found 5 Documents (Results 1–5)

Constructive game logic. (English) Zbl 1508.03065

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 84-111 (2020).
MSC:  03B70 68N30 91A80
PDFBibTeX XMLCite
Full Text: DOI arXiv

Iterated covariant powerset is not a monad. (English) Zbl 1528.18007

Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 261-276 (2018).
MSC:  18C15 18A99
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

Software