Title of article :
Encoding Linear Logic with Interaction Combinators
Author/Authors :
Ian Mackie، نويسنده , , Jorge Sousa Pinto، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2002
Keywords :
Cut-elimination , ?-calculus. , Linear logic , interaction nets
Journal title :
Information and Computation
Journal title :
Information and Computation
