Corpus ID: 118739437

On Intuitionistic Linear Logic

@inproceedings{Bierman2005OnIL,
  title={On Intuitionistic Linear Logic},
  author={G. Bierman and T. Brauner and P. Curzon and F. Davey},
  year={2005}
}
  • G. Bierman, T. Brauner, +1 author F. Davey
  • Published 2005
  • Computer Science
  • 79 Citations
    A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)
    • 17
    • Highly Influenced
    • PDF
    Dialectica Categories for the Lambek Calculus
    • 3
    • Highly Influenced
    • PDF
    A Cointuitionistic Adjoint Logic
    • Highly Influenced
    • PDF
    Multiple Conclusion Linear Logic: Cut Elimination and More
    • 6
    • Highly Influenced
    • PDF
    Practical programming with substructural types
    • 13
    • Highly Influenced
    • PDF
    1 Quantum Lambda Calculus
    • 4
    • Highly Influenced
    • PDF
    Adjoint Rewriting and the !-type constructor
    • 3
    • Highly Influenced
    Practical affine types
    • 74
    • Highly Influenced
    • PDF
    Linear Contextual Modal Type Theory
    • 1
    • Highly Influenced
    • PDF
    On a Modal λ-Calculus for S 4 ?
    • Highly Influenced
    • PDF

    References

    SHOWING 1-10 OF 82 REFERENCES
    Eds). Haskell: A non-strict, purely functional language
    • ACM SIGPLAN Notices,
    • 1992
    The formulae-as-types notion of construction
    • 1,017
    • Highly Influential
    • PDF
    Computational Interpretations of Linear Logic
    • 504
    • Highly Influential
    Linear logic
    • 2,782
    • Highly Influential
    • PDF
    There's No Substitute for Linear Logic
    • 45
    • Highly Influential
    Linear Logic, -Autonomous Categories and Cofree Coalgebras
    • 260
    • Highly Influential
    • PDF
    Proofs and Types, volume 7 of Cambridge Tracts in Theoretical Computer Science
    • Cambridge University Press,
    • 1989
    Linear Logic and Lazy Computation
    • 134
    • Highly Influential
    • PDF
    A new implementation technique for applicative languages
    • D. Turner
    • Computer Science
    • Softw. Pract. Exp.
    • 1979
    • 681
    • Highly Influential
    • PDF
    The Collected Papers of Gerhard Gentzen
    • 284
    • Highly Influential