Term Assignment for Intuitionistic Linear Logic (1992)

by Nick Benton , Gavin Bierman , Valeria Paiva , Martin Hyland
Citations:53 - 9 self

Documents Related by Co-Citation

280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
44 Lilac – a functional programming language based on linear logic – I Mackie
87 Autonomous Categories and Linear Logic – M Barr - 1991
616 Light Linear Logic – Jean-yves Girard
461 The mathematics of sentence structure – J Lambek - 1958
445 The formulae-as-types notion of construction – W A Howard - 1980
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
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
39 Adjacency, Dependency and Order – M Moortgat, R Oehrle - 1993
19 Logique Lin'eaire appliqu'ee `a l"etude de divers processus de normalisation (principalement du -calcul), th`ese de doctorat, Universit'e de Paris 7 – V Danos, La - 1990
21 Proof Figures and Structural Operators for Categorial Grammar – Guy Barry, Mark Hepple, Neil Leslie, Glyn Morrill
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
214 Closed categories – Samuel Eilenberg, G Max Kelly - 1965
46 On Intuitionistic Linear Logic – G M Bierman - 1994