Sciweavers

IANDC
2002

Types for the Ambient Calculus

13 years 12 months ago
Types for the Ambient Calculus
Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
Added 19 Dec 2010
Updated 19 Dec 2010
Type Journal
Year 2002
Where IANDC
Authors Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon
Comments (0)