Skip to content

A Polymorphic Type System for the Polyadic pi-calculus.

Xinxin Liu, David Walker

VenueBCONCUR
Year1995
ProceedingsCONCUR

Browse the full CONCUR paper archive.