Skip to content

A Fully Abstract Model for Higher-Order Mobile Ambients.

Mario Coppo, Mariangiola Dezani-Ciancaglini

VenueBVMCAI
Year2002
ProceedingsVMCAI

Browse the full VMCAI paper archive.