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
Diese Liste wurde am
Sat Aug 10 20:51:10 2024 CEST
erstellt.