|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 3
Zeitschriftenartikel
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