Keyword:formal theory

Papers
EasyChair Preprint no. 6225