Miss Georgiana Lungu
Supervised by
Zhaohui Luo First/primary/lead supervisor
1/10/13 → 13/09/18
- Published
On Subtyping in Type Theories with Canonical Objects
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Unpublished
Subtyping in Signatures
Research output: Thesis › Doctoral Thesis
- Published
Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories
Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed)
ID: 16692324