Sciweavers

    177 search results - page 6 / 36
    » Linearizing Intuitionistic Implication
    Sort
    View
    TLCA
    1993
    Springer
    85views Theoretical Computer Science» more  TLCA 1993»
    A Term Calculus for Intuitionistic Linear Logic
    15 years 10 months ago
    A Term Calculus for Intuitionistic Linear Logic
    Download  www.dpmms.cam.ac.uk
    P. N. Benton, Gavin M. Bierman, Valeria de Paiva, ...
    claim paper
    Read More »
    CONCUR
    2010
    Springer
    162views Distributed And Parallel Com...» more  CONCUR 2010»
    Session Types as Intuitionistic Linear Propositions
    15 years 6 months ago
    Session Types as Intuitionistic Linear Propositions
    Download  www.cs.cmu.edu
    Luís Caires, Frank Pfenning
    claim paper
    Read More »
    AML
    1998
    93views more  AML 1998»
    Normal deduction in the intuitionistic linear logic
    15 years 5 months ago
    Normal deduction in the intuitionistic linear logic
    Download  csli-publications.stanford.edu
    A natural deduction system NDIL described here admits normalization and has subformula prop
    Grigori Mints
    claim paper
    Read More »
    CORR
    2009
    Springer
    62views Education» more  CORR 2009»
    Towards an embedding of Graph Transformation in Intuitionistic Linear Logic
    15 years 3 months ago
    Towards an embedding of Graph Transformation in Intuitionistic Linear Logic
    Download  www.cs.le.ac.uk
    Paolo Torrini, Reiko Heckel
    claim paper
    Read More »
    TYPES
    2007
    Springer
    220views Formal Methods» more  TYPES 2007»
    Intuitionistic vs. Classical Tautologies, Quantitative Comparison
    15 years 12 months ago
    Intuitionistic vs. Classical Tautologies, Quantitative Comparison
    Download  tcs.uj.edu.pl
    We consider propositional formulas built on implication. The size of a formula is the number of occurrences of variables in it. We assume that two formulas which differ only in th...
    Antoine Genitrini, Jakub Kozik, Marek Zaionc
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.