Skip to content

The Lambda-Calculus with Multiplicities (Abstract).

Grard Boudol

VenueBCONCUR
Year1993
ProceedingsCONCUR

Browse the full CONCUR paper archive.