摘要：We define a novel calculus that combines a call-by-name functional core withsession-based communication primitives. We develop a typing discipline thatguarantees both normalisation of expressions and progress of processes and thatuncovers an unexpected interplay between evaluation and communication.
