REAL

Items where Author is "Xie, Zongpu"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Conference or Workshop Item

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).

This list was generated on Fri Mar 21 14:00:08 2025 CET.