TY  - RPRT
TI  - A Semantics for Hybrid Iteration
AU  - Sergey Goncharov
AU  - Julian Jakob
AU  - Renato Neves
PY  - 2019
DO  - 10.4230/lipics.concur.2018.22
UR  - https://arxiv.org/abs/1807.01053
ID  - 1807.01053
ER  -