Riba, Colin Monoidal-closed categories of tree automata. (English) Zbl 1435.68183 Math. Struct. Comput. Sci. 30, No. 1, 62-117 (2020). MSC: 68Q45 03B70 03D05 03G30 18B20 18D15 18M45 PDFBibTeX XMLCite \textit{C. Riba}, Math. Struct. Comput. Sci. 30, No. 1, 62--117 (2020; Zbl 1435.68183) Full Text: DOI
Jacobs, B. A channel-based perspective on conjugate priors. (English) Zbl 1442.62054 Math. Struct. Comput. Sci. 30, No. 1, 44-61 (2020). MSC: 62F15 62N01 PDFBibTeX XMLCite \textit{B. Jacobs}, Math. Struct. Comput. Sci. 30, No. 1, 44--61 (2020; Zbl 1442.62054) Full Text: DOI arXiv
Leivant, Daniel; Marion, Jean-Yves Primitive recursion in the abstract. (English) Zbl 1435.68064 Math. Struct. Comput. Sci. 30, No. 1, 33-43 (2020). MSC: 68N30 03C13 03D75 PDFBibTeX XMLCite \textit{D. Leivant} and \textit{J.-Y. Marion}, Math. Struct. Comput. Sci. 30, No. 1, 33--43 (2020; Zbl 1435.68064) Full Text: DOI
Moeller, Joe Noncommutative network models. (English) Zbl 1442.18034 Math. Struct. Comput. Sci. 30, No. 1, 14-32 (2020). MSC: 18M05 05C76 18B40 20M50 PDFBibTeX XMLCite \textit{J. Moeller}, Math. Struct. Comput. Sci. 30, No. 1, 14--32 (2020; Zbl 1442.18034) Full Text: DOI arXiv
Wang, Longchun; Li, Qingguo A representation of proper BC domains based on conjunctive sequent calculi. (English) Zbl 1478.03078 Math. Struct. Comput. Sci. 30, No. 1, 1-13 (2020). MSC: 03F03 06B35 03G30 PDFBibTeX XMLCite \textit{L. Wang} and \textit{Q. Li}, Math. Struct. Comput. Sci. 30, No. 1, 1--13 (2020; Zbl 1478.03078) Full Text: DOI