UMR n
Download:
|
|
unknown authors
http://www.loria.fr/~degroote/papers/tcs98.ps
Add To MetaCart
Abstract:
An algebraic correctness criterion for intuitionistic multiplicative proof-nets
Citations
| 376 | The Mathematics of Sentence Structure – Lambek - 1958 |
| 103 | The structure of multiplicatives – Danos, Regnier - 1989 |
| 56 | Resource Logics: Proof-theoretical Investigations – Roorda - 1991 |
| 31 | Games semantics for full propositional linear logic – Lamarche - 1995 |
| 19 | Proof nets for intuitionistic linear logic 1: Essential nets – Lamarche - 1994 |
| 18 | Quantifiers in linear logic II – Girard - 1991 |
| 4 | Une application de la logique lin#aire # l'#tude des processus de normalisation et principalement du lambda calcul. Th#se de doctorat, Universit# de Paris VII – Danos - 1990 |
| 4 | Strong normalization in a non-deterministic typed lambda-calculus – Groote - 1994 |
| 3 | Proof nets for the lambek calculus – Lamarche, Retor - 1996 |
