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.