TY  - RPRT
TI  - A typed parallel λ-calculus via 1-depth intermediate proofs
AU  - Federico Aschieri
AU  - Agata Ciabattoni
AU  - Francesco A. Genco
PY  - 2020
UR  - https://arxiv.org/abs/1902.03882
ID  - 1902.03882
ER  -