Formal Semantics in Modern Type Theories: Is It Model-theoretic, Proof-theoretic, or Both? Invited talk at (2014)

by Z Luo
Venue:Logical Aspects of Computational Linguistics 2014 (LACL 2014), Toulouse. LNCS 8535