Comonadic semantics for guarded fragments.

Samson Abramsky Dan Marsden

Published in: LICS (2021)

Keyphrases

formal semantics
real time
artificial intelligence
social networks
website
web services
semantic information
fixed point
semantic representation
xml fragments