![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | Date
Jump to: Journal article
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