论文信息 - Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types: Category Theoretic Semantics for Logic Programming: Laxness and Saturation (Extended Abstract) - 字舞流文

Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types: Category Theoretic Semantics for Logic Programming: Laxness and Saturation (Extended Abstract)

[1] Martin Schmidt,et al. Coalgebraic logic programming: from Semantics to Implementation , 2013, J. Log. Comput..

[2] Filippo Bonchi,et al. Bialgebraic Semantics for Logic Programming , 2015, Log. Methods Comput. Sci..

[3] Ekaterina Komendantskaya,et al. Logic programming: laxness and saturation , 2016, J. Log. Algebraic Methods Program..