Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models
arXiv:2309.13798 · doi:10.4204/EPTCS.389.4
Abstract
In this paper, we investigate how the initial models and the final models for the polynomial functors can be uniformly specified in matching logic.
In Proceedings FROM 2023, arXiv:2309.12959