Steingartner, William; Radaković, Davorka; Valkošák, František; Macko, Pavol Some properties of coalgebras and their rôle in computer science. (English) Zbl 07328058 J. Appl. Math. Comput. Mech. 15, No. 4, 145-156 (2016). MSC: 18A22 PDFBibTeX XMLCite \textit{W. Steingartner} et al., J. Appl. Math. Comput. Mech. 15, No. 4, 145--156 (2016; Zbl 07328058) Full Text: DOI
Demeterová, Emília; Mihályi, Daniel; Novitzká, Valerie A categorical model of predicate linear logic. (English) Zbl 07251871 J. Appl. Math. Comput. Mech. 14, No. 1, 27-42 (2015). MSC: 03B47 03F52 PDFBibTeX XMLCite \textit{E. Demeterová} et al., J. Appl. Math. Comput. Mech. 14, No. 1, 27--42 (2015; Zbl 07251871) Full Text: DOI
Steingartner, William; Galinec, Darko The rôle of categorical structures in infinitesimal calculus. (English) Zbl 1364.26004 J. Appl. Math. Comput. Mech. 12, No. 1, 107-119 (2013). MSC: 26A24 26A42 PDFBibTeX XMLCite \textit{W. Steingartner} and \textit{D. Galinec}, J. Appl. Math. Comput. Mech. 12, No. 1, 107--119 (2013; Zbl 1364.26004) Full Text: DOI