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