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 29 11:33:46 2024 CET.