Author： Cardelli L. Ghelli G. Gordon A.D.
Publisher： Academic Press
ISSN： 0890-5401
Source： Information and Computation, Vol.177, Iss.2, 2002-09, pp. : 160-194
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
A Sequent Calculus for Subtyping Polymorphic Types
By Tiuryn J.
Information and Computation, Vol. 164, Iss. 2, 2001-01 ,pp. :
Access to resources
Recommend
By McGivney-Burelle Jean Xue Fei
PRIMUS, Vol. 23, Iss. 5, 2013-04 ,pp. :
STUDIES IN APPLIED MATHEMATICS, Vol. 97-1421, Iss. 1, 1936-04 ,pp. :
STUDIES IN APPLIED MATHEMATICS, Vol. 15, Iss. 1, 1936-04 ,pp. :
A Calculus for Cryptographic Protocols: The Spi Calculus
Information and Computation, Vol. 148, Iss. 1, 1999-01 ,pp. :