Login / Signup

Multiparty Dependent Session Types (Extended Abstract).

Hanwen WuHongwei Xi
Published in: CoRR (2018)
Keyphrases