A Categorical Framework for Program Semantics and Semantic Abstraction.

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

Published in: CoRR (2023)

Keyphrases

semantically equivalent
high level
semantic information
theoretical framework
semantic aspects
semantic interpretation
semantic representations
natural language
logic programming
main contribution