Altenkirch, Thorsten; Chapman, James; Uustalu, Tarmo Monads need not be endofunctors. (English) Zbl 1448.18007 Log. Methods Comput. Sci. 11, No. 1, Paper No. 3, 40 p. (2015). MSC: 18C15 68N18 PDFBibTeX XMLCite \textit{T. Altenkirch} et al., Log. Methods Comput. Sci. 11, No. 1, Paper No. 3, 40 p. (2015; Zbl 1448.18007) Full Text: DOI arXiv
Uustalu, Tarmo 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 \textit{T. Uustalu}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 153, 68--77 (2014; Zbl 1464.18018) Full Text: arXiv Link
Møgelberg, Rasmus Ejlers 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). MSC: 68N18 03G30 18A15 18B25 18D15 68Q55 PDFBibTeX XMLCite \textit{R. E. Møgelberg}, in: 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. Paper No. 71, 10 p. (2014; Zbl 1394.68066) Full Text: DOI
Kinoshita, Yoshiki; Power, John Category theoretic structure of setoids. (English) Zbl 1418.18006 Theor. Comput. Sci. 546, 145-163 (2014). MSC: 18D20 03E70 18A35 18B05 PDFBibTeX XMLCite \textit{Y. Kinoshita} and \textit{J. Power}, Theor. Comput. Sci. 546, 145--163 (2014; Zbl 1418.18006) Full Text: DOI
Jeffrey, Alan; Rathke, Julian 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 \textit{A. Jeffrey} and \textit{J. Rathke}, LIPIcs -- Leibniz Int. Proc. Inform. 12, 292--306 (2011; Zbl 1247.68088) Full Text: DOI Link
Michelbrink, Markus Interfaces as functors, programs as coalgebras – a final coalgebra theorem in intensional type theory. (English) Zbl 1099.03020 Theor. Comput. Sci. 360, No. 1-3, 415-439 (2006). MSC: 03B70 03G30 68N30 03F35 18D15 68Q65 68Q85 PDFBibTeX XMLCite \textit{M. Michelbrink}, Theor. Comput. Sci. 360, No. 1--3, 415--439 (2006; Zbl 1099.03020) Full Text: DOI