Simple-typed Functional Language Modeled by Category Theory. - Ján Perhác; Zuzana Bilanová; Gabriela Havrilcáková (ICTERI PhD Symposium, 2019)