Dale Miller Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier: An Abstract. 24 http://dx.doi.org/10.1007/978-3-540-30124-0_4 2004 conf/csl/2004 CSL db/conf/csl/csl2004.html#Miller04