|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
11 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Additives of linear logic and normalization—Part I: a (restricted) Church–Rosser property |
Tortora de Falco, Lorenzo |
2003 |
294 | 3 |
p. 489-524 36 p. |
article |
|
| 2 | A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic |
Nagayama, Misao |
2003 |
294 | 3 |
p. 551-573 23 p. |
article |
|
| 3 | Author index |
2003 |
294 | 3 |
p. 575-576 2 p. |
article |
||
| 4 | Chu spaces as a semantic bridge between linear logic and mathematics |
Pratt, Vaughan |
2003 |
294 | 3 |
p. 439-471 33 p. |
article |
|
| 5 | Coherence for sharing proof-nets |
Guerrini, Stefano |
2003 |
294 | 3 |
p. 379-409 31 p. |
article |
|
| 6 | Computational isomorphisms in classical logic |
Danos, Vincent |
2003 |
294 | 3 |
p. 353-378 26 p. |
article |
|
| 7 | Encoding transition systems in sequent calculus |
McDowell, Raymond |
2003 |
294 | 3 |
p. 411-437 27 p. |
article |
|
| 8 | Handsome proof-nets: perfect matchings and cographs |
Retoré, Christian |
2003 |
294 | 3 |
p. 473-488 16 p. |
article |
|
| 9 | Phase semantics for light linear logic |
Kanovich, Max I |
2003 |
294 | 3 |
p. 525-549 25 p. |
article |
|
| 10 | Preface |
Girard, Jean-Yves |
2003 |
294 | 3 |
p. 333- 1 p. |
article |
|
| 11 | Towards a semantics of proofs for non-commutative logic: multiplicatives and additives |
Abrusci, V.Michele |
2003 |
294 | 3 |
p. 335-351 17 p. |
article |
11 results found