Author： Sangiorgi D.
Publisher： Academic Press
ISSN： 0890-5401
Source： Information and Computation, Vol.143, Iss.1, 1998-05, pp. : 34-73
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
By Kesner D. Puel L. Tannen V.
Information and Computation, Vol. 124, Iss. 1, 1996-01 ,pp. :
Access to resources
Recommend
Modular Statically Typed Multimethods
Information and Computation, Vol. 175, Iss. 1, 2002-05 ,pp. :
Petrov type of linearly perturbed type-D spacetimes
By Araneda Bernardo Dotti Gustavo
Classical and Quantum Gravity, Vol. 32, Iss. 19, 2015-10 ,pp. :
Strong Normalization from Weak Normalization in Typed lambda -Calculi
Information and Computation, Vol. 133, Iss. 1, 1997-02 ,pp. :