Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models
Logic in Computer Science
2023-09-26 v1
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.
Cite
@article{arxiv.2309.13798,
title = {Matching-Logic-Based Understanding of Polynomial Functors and their Initial/Final Models},
author = {Dorel Lucanu},
journal= {arXiv preprint arXiv:2309.13798},
year = {2023}
}
Comments
In Proceedings FROM 2023, arXiv:2309.12959