Author： Girard J.Y.
Publisher： Academic Press
ISSN： 0890-5401
Source： Information and Computation, Vol.143, Iss.2, 1998-06, pp. : 175-204
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
Encoding Linear Logic with Interaction Combinators
Information and Computation, Vol. 176, Iss. 2, 2002-08 ,pp. :
Access to resources
Recommend
A linear output structure for fuzzy logic controllers
Fuzzy Sets and Systems, Vol. 131, Iss. 2, 2002-10 ,pp. :
Relating Categorical Semantics for Intuitionistic Linear Logic
Applied Categorical Structures, Vol. 13, Iss. 1, 2005-01 ,pp. :
The Undecidability of Second Order Multiplicative Linear Logic
Information and Computation, Vol. 125, Iss. 1, 1996-02 ,pp. :
Agents via Mixed-Mode Computation in Linear Logic
Annals of Mathematics and Artificial Intelligence, Vol. 42, Iss. 1-3, 2004-09 ,pp. :