Ján Perhác, Zuzana Bilanová. Categorical Model of Functional Language with Natural Numbers and Boolean Values. In IEEE 15th International Conference on Computer Sciences and Information Technologies, CSIT 2020, Zbarazh, Ukraine, September 23-26, 2020 - Volume 2. pages 99-102, IEEE, 2020. [doi]
Abstract is missing.