Author: Hillebrand G.G. Kanellakis P.C. Mairson H.G.
Publisher: Academic Press
ISSN: 0890-5401
Source: Information and Computation, Vol.127, Iss.2, 1996-06, pp. : 117-144
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. :
An Interpretation of Typed Objects into Typed pi-Calculus
By Sangiorgi D.
Information and Computation, Vol. 143, Iss. 1, 1998-05 ,pp. :
Strong Normalization from Weak Normalization in Typed lambda -Calculi
Information and Computation, Vol. 133, Iss. 1, 1997-02 ,pp. :
A Symmetric Lambda Calculus for Classical Program Extraction
Information and Computation, Vol. 125, Iss. 2, 1996-03 ,pp. :