![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Springe zu: 2020
Anzahl der Publikationen: 3
2020
Oliva, Paulo und Xu, Chuangjie
(2020):
On the Herbrand functional interpretation.
In: Mathematical Logic Quarterly, Bd. 66, Nr. 1: S. 91-98
Xu, Chuangjie
(2020):
A SYNTACTIC APPROACH TO CONTINUITY OF T-DEFINABLE FUNCTIONALS.
In: Logical Methods in Computer Science, Bd. 16, Nr. 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: S. 172-185