  |
Items where Author is "Xie, Zongpu"
Group by: Item Type | No Grouping Number of items: 2. Kaposi, Ambrus and Xie, Zongpu (2021) Quotient inductive-inductive types in the setoid model. In: 27th International Conference on Types for Proofs and Programs, 14 – 18 June 2021. Kaposi, Ambrus and Xie, Zongpu (2020) A model of type theory with quotient inductive-inductive types. In: 26th International Conference on Types for Proofs and Programs (TYPES 2020). |
