Logo Logo
Group by: Item Type | Date
Number of items: 3.

Journal article

Oliva, Paulo und Xu, Chuangjie (2020): On the Herbrand functional interpretation. In: Mathematical Logic Quarterly, Vol. 66, No. 1: pp. 91-98

Xu, Chuangjie (2020): A SYNTACTIC APPROACH TO CONTINUITY OF T-DEFINABLE FUNCTIONALS. In: Logical Methods in Computer Science, Vol. 16, No. 1, 22

Forsberg, Fredrik Nordvall; Xu, Chuangjie und Ghani, Neil (2020): Three Equivalent Ordinal Notation Systems in Cubical Agda. In: CPP '20: Proceedings of the 9Th Acm Sigplan International Conference on Certified Programs and Proofs: pp. 172-185

This list was generated on Sun Oct 6 04:58:54 2024 CEST.