Login / Signup
Georgiana E. Lungu
Publication Activity (10 Years)
Years Active: 2014-2016
Publications (10 Years): 1
Top Topics
Logical Reasoning
Digital Objects
Formal Models
Meta Level
Top Venues
TYPES
LACL
</>
Publications
</>
Georgiana E. Lungu
,
Zhaohui Luo
On Subtyping in Type Theories with Canonical Objects.
TYPES
(2016)
Georgiana E. Lungu
,
Zhaohui Luo
Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories.
LACL
(2014)