Report copyright - Formal Semantics in Modern Type Theories: Theory and ...MTT-semantics as both model-theoretic and proof-theoretic Proof technology for NL reasoning Lexical semantics: mathematical
Please pass captcha verification before submit form