A Categorical Framework for Program Semantics and Semantic Abstraction

DOI10.46298/ENTICS.12288MaRDI QIDQ6513045arXivFDO

Authors Shin-ya Katsumata, Xavier Rival, Jérémy Dubut

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50)

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)