Georgiana E. Lungu

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2016

On Subtyping in Type Theories with Canonical Objects.

[BibT_eX]

[DOI]

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

2014

Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories.

[BibT_eX]

[DOI]

Proceedings of the Logical Aspects of Computational Linguistics, 2014