Keyword:formal theory

Publications
EasyChair Preprint 6225