Keyword:formal and mathematical semantics

Publications
EasyChair Preprint 3856