Types for the Ambient Calculus

Publisher Website

15 September 2002

journal article
Published by Elsevier BV in Information and Computation

Vol. 177 (2), 160-194
https://doi.org/10.1016/s0890-5401(01)93121-9

Abstract

No abstract available

Keywords

Cited by 37 articles