102 citations · 226 across the 18 of their papers we have counts for
1 paper · 2 filters
Paula Severi, Luca Padovani, Emilio Tuosto +1
We define a novel calculus that combines a call-by-name functional core with session-based communication primitives. We develop a typing discipline that guarantees both normalisati…