Treating for-Loops as First-Class Citizens in Proofs

  • Posted on: November 29, 2022 - 17:35
TitleTreating for-Loops as First-Class Citizens in Proofs
Publication TypeArtikel ohne Peer Review (erschienen)
Year of Publication2020
AuthorsWasser, N, Steinhöfel, D
How PublishedArXiv E-Print 2002.00776: <a href="https://doi.org/10.48550/arXiv.2002.00776">https://doi.org/10.48550/arXiv.2002.00776</a>
Pages1-19
PublisherArXiv
DOI10.48550/arXiv.2002.00776
Undefined