Skip to content

Logical Semantics of Types for Concurrency.

Lus Caires

VenueBCALCO
Year2007
ProceedingsCALCO

Browse the full CALCO paper archive.