Sciweavers

IANDC
2002

Types for the Ambient Calculus

14 years 10 days 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)