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