×

Found 6 Documents (Results 1–6)

Coherence for skew-monoidal categories. (English) Zbl 1464.18018

Levy, Paul (ed.) et al., Proceedings of the fifth workshop on mathematically structured functional programming, MSFP 2014, Grenoble, France, April 12, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 153, 68-77 (2014).
MSC:  18M50 68Q42 68V20
PDFBibTeX XMLCite
Full Text: arXiv Link

A type theory for productive coprogramming via guarded recursion. (English) Zbl 1394.68066

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 71, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

The lax braided structure of streaming I/O. (English) Zbl 1247.68088

Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 292-306, electronic only (2011).
MSC:  68Q05 18B20 18D10 68N18 68N30 68T15
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

Year of Publication

Main Field

Software