Term Assignment for Intuitionistic Linear Logic (1992)

Cached

 272 Computational Interpretations of Linear Logic – Samson Abramsky - 1993 83 autonomous categories and linear logic – M Barr - 1991 44 LiLac: a functional programming language based on Linear Logic – I Mackie - 1993 395 The formulae-as-types notion of construction – W A Howard - 1980 43 Operational Aspects of Linear Lambda Calculus – Patrick Lincoln, John Mitchell - 1992 19 Logique Lin'eaire appliqu'ee a l"etude de divers processus de normalisation (principalement du -calcul), these de doctorat, Universit'e de Paris 7 – V Danos, La - 1990 89 A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report) – P. N. Benton - 1994 182 Closed categories – S Eilenberg, G M Kelly - 1966 92 What is a Categorical Model of Intuitionistic Linear Logic? – G.M. Bierman, A \gamma A, Gamma \delta \gamma C, Gamma I \gamma A, Gamma A B \gamma C, B \gamma C - 1995 64 Natural Deduction and Coherence for Weakly Distributive Categories – R. F. Blute, J.R.B. Cockett, R.A.G. Seely, T. H. Trimble - 1991 541 Light Linear Logic – Jean-yves Girard 406 The mathematics of sentence structure – J Lambek - 1958 97 Linear Logic, -Autonomous Categories and Cofree Coalgebras – R.A.G. Seely - 1989 325 Proofs and Types – J-Y Girard, Y Lafont, P Taylor - 1989 68 A Term Calculus for Intuitionistic Linear Logic – Nick Benton, Gavin Bierman, Valeria De Paiva, Martin Hyland - 1993 26 Deductive systems and categories – J Lambek - 1968 11 An internal language for autonomous categories – I Mackie, L Román, S Abramsky - 1993 24 There's No Substitute for Linear Logic – Philip Wadler - 1991 60 Bounded linear logic: a modular approach to polynomial-time computability – Jean-Yves Girard, Andre Scedrov, Phillip Scott - 1992