|
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), th`ese 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
|
