Keyword:formal and mathematical semantics

Papers
EasyChair Preprint no. 3856