TY  - RPRT
TI  - An implicit function theorem for the stream calculus
AU  - Michele Boreale
AU  - Luisa Collodi
AU  - Daniele Gorla
PY  - 2024
DO  - 10.46298/lmcs-20(2:15)2024
UR  - https://arxiv.org/abs/2303.11876
ID  - 2303.11876
ER  -