Types for the Ambient Calculus
Information and Computation - United States
doi 10.1006/inco.2001.3121
Full Text
Open PDFAbstract
Available in full text
Categories
Date
September 1, 2002
Authors
Publisher
Elsevier BV
Available in full text
September 1, 2002
Elsevier BV