Keyword:formal semantics

Papers
Propositional Forms of Judgemental Interpretations Tao Xue, Zhaohui Luo and Stergios Chatzikyriakidis EasyChair Preprint no. 221
Expression Compatibility Problem Seyed Hossein Haeri and Sibylle Schupp In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science