×

Found 26 Documents (Results 1–26)

Quantaloidal approach to constraint satisfaction. (English) Zbl 07804588

Kishida, Kohei (ed.), Proceedings of the fourth international conference on applied category theory 2021, ACT 2021, Cambridge, UK, July 12–16, 2021. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 372, 289-305 (2022).
MSC:  18N10 08A70
PDFBibTeX XMLCite
Full Text: arXiv Link

Relating structure and power: comonadic semantics for computational resources. (English) Zbl 1509.03098

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 2, 17 p. (2018).
MSC:  03C13 18C15 18C50
PDFBibTeX XMLCite
Full Text: DOI

Relating structure and power: comonadic semantics for computational resources (extended abstract). (English) Zbl 1509.03096

Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 1-5 (2018).
MSC:  03C13 18C15 18C50
PDFBibTeX XMLCite
Full Text: DOI arXiv

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

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field