Generalized Quantifiers as a Case Study in Cross-Module Verification
Tracing generalized quantifier theory from abstract properties through lexical entries to RSA predictions.
Tracing generalized quantifier theory from abstract properties through lexical entries to RSA predictions.