A Categorical Framework for Program Semantics and Semantic Abstraction
From MaRDI portal
Publication:6513045
DOI10.46298/ENTICS.12288arXiv2309.08822MaRDI QIDQ6513045FDOQ6513045
Authors: Shin-ya Katsumata, Xavier Rival, Jérémy Dubut 
This page was built for publication: A Categorical Framework for Program Semantics and Semantic Abstraction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6513045)
