Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types.

Luca Ciccone, Luca Padovani

Browse the full ICALP paper archive.