加载中…
2023-09-25
Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models
Dorel Lucanu
文献摘要
In this paper, we investigate how the initial models and the final models for the polynomial functors can be uniformly specified in matching logic.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本