Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories. - Georgiana E. Lungu; Zhaohui Luo (LACL, 2014)

On Subtyping in Type Theories with Canonical Objects. - Georgiana E. Lungu; Zhaohui Luo (TYPES, 2016)