TY  - RPRT
TI  - Typed Non-determinism in Functional and Concurrent Calculi
AU  - Bas van den Heuvel
AU  - Joseph W. N. Paulus
AU  - Daniele Nantes-Sobrinho
AU  - Jorge A. Pérez
PY  - 2023
UR  - https://arxiv.org/abs/2205.00680
ID  - 2205.00680
ER  -