## Term Assignment for Intuitionistic Linear Logic (1992)

### Cached

 280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993 44 Lilac – a functional programming language based on linear logic – I Mackie 445 The formulae-as-types notion of construction – W A Howard - 1980 87 Autonomous Categories and Linear Logic – M Barr - 1991 44 Operational Aspects of Linear Lambda Calculus – Patrick Lincoln, John Mitchell - 1992 96 A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report) – P. N. Benton - 1994 99 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 616 Light Linear Logic – Jean-yves Girard 461 The mathematics of sentence structure – J Lambek - 1958 214 Closed categories – Samuel Eilenberg, G Max Kelly - 1965 46 On Intuitionistic Linear Logic – G M Bierman - 1994 103 Linear Logic, -Autonomous Categories and Cofree Coalgebras – R.A.G. Seely - 1989 353 Proofs and Types – Jean-Yves Girard, Yves Lafont, Paul Taylor - 1989 72 A Term Calculus for Intuitionistic Linear Logic – Nick Benton, Gavin Bierman, Valeria De Paiva, Martin Hyland - 1993 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 24 There's No Substitute for Linear Logic – Philip Wadler - 1991 62 Bounded linear logic: a modular approach to polynomial-time computability – J Y Girard, A Scedrov, P J Scott - 1992 9 Linear logic and interference control (preliminary report – P W O'Hearn - 1991 73 Natural Deduction and Coherence for Weakly Distributive Categories – R. F. Blute, J.R.B. Cockett, R.A.G. Seely, T. H. Trimble - 1991