TY  - RPRT
TI  - A Categorical Framework for Program Semantics and Semantic Abstraction
AU  - Shin-ya Katsumata
AU  - Xavier Rival
AU  - Jérémy Dubut
PY  - 2023
DO  - 10.46298/entics.12288
UR  - https://arxiv.org/abs/2309.08822
ID  - 2309.08822
ER  -