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

282 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
87 Autonomous categories and linear logic – M Barr - 1991
44 Lilac: A functional programming language based on linear logic – Ian Mackie - 1994
443 The formulae-as-types notion of construction – William A Howard - 1980
44 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), th`ese de doctorat, Universit'e de Paris 7 – V Danos, La - 1990
94 A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Preliminary Report) – P. N. Benton - 1994
210 Closed categories – S Eilenberg, G M Kelly - 1966
67 Natural Deduction and Coherence for Weakly Distributive Categories – R. F. Blute, J.R.B. Cockett, R.A.G. Seely, T. H. Trimble - 1991
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
619 Light Linear Logic – Jean-yves Girard
457 The mathematics of Sentence Structure – J Lambek - 1958
102 Linear Logic, -Autonomous Categories and Cofree Coalgebras – R.A.G. Seely - 1989
354 Proofs and types – Jean-Yves Girard, Paul Taylor, Yves Lafont - 1989
72 A Term Calculus for Intuitionistic Linear Logic – Nick Benton, Gavin Bierman, Valeria De Paiva, Martin Hyland - 1993
29 Deductive systems and categories i – J Lambek - 1968
13 An internal language for autonomous categories – I Mackie, L Roman, S Abramsky
24 There's No Substitute for Linear Logic – Philip Wadler - 1991
62 Bounded linear logic: A modular approach to polynomial time computability – Jean-Yves Girard, Andre Scedrov, Philip J Scott - 1992