Georgiana E. Lungu

According to our database, Georgiana E. Lungu authored at least 2 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

On Subtyping in Type Theories with Canonical Objects.

Georgiana E. Lungu, Zhaohui Luo

Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016

2014

Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories.

Georgiana E. Lungu, Zhaohui Luo

Proceedings of the Logical Aspects of Computational Linguistics, 2014