Treating for-Loops as First-Class Citizens in Proofs
| Title | Treating for-Loops as First-Class Citizens in Proofs |
| Publication Type | Artikel ohne Peer Review (erschienen) |
| Year of Publication | 2020 |
| Authors | Wasser, N, Steinhöfel, D |
| How Published | ArXiv E-Print 2002.00776: <a href="https://doi.org/10.48550/arXiv.2002.00776">https://doi.org/10.48550/arXiv.2002.00776</a> |
| Pages | 1-19 |
| Publisher | ArXiv |
| DOI | 10.48550/arXiv.2002.00776 |
Undefined